Name: Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
ISBN: 9783642405600

Nema na stanju

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Blackwells

Autor:
Robert M., International Conference on Software Engineering and Formal Methods, Robert M Hierons, Hierons, Robert M. Hierons (editor of compilation), M. G. Merayo (editor of compilation), Mario Bravetti (editor of compilation)

Više

Dodaj na listu

Opis

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Više »

Uporedi cene

All prices including shipping

All

() New () Used ()

Blackwells Free delivery, ships from UK Final price: incl. VAT	Nema na stanju
AbeBooks
Amazon.de
Amazon.com
Better World Books Besplatna dostava svih knjiga Isporuka iz UK ili SAD-a
Fishpond Free delivery worldwide
Biblio
Waterstones
Foyles
Springer Besplatna dostava za sve artikle Isporuka iz Nemačke
SciFier.com Ships from United Kingdom, 10% off with code BAPP
Alibris

Import duties or custom duty tax may be applied. All prices are converted to EUR for indicative purposes only. As an Amazon Associate we earn from qualifying purchases.

Opis

Više »

bookstores.rs

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Meki povez)

Opis

Uporedi cene

Opis

Besplatna dostava

Mobile apps