Foto dell'editore

Formal Methods and Software Engineering

Stephan Merz

0 valutazioni da GoodReads
ISBN 10: 331911736X / ISBN 13: 9783319117362
Editore: Springer-Verlag Gmbh Nov 2014, 2014
Nuovi Condizione: Neu Taschenbuch
Da Rhein-Team Lörrach Ivano Narducci e.K. (Lörrach, Germania)

Libreria AbeBooks dal 11 gennaio 2012

Valutazione Libreria 5 stelle

Quantità: 1

Offerto da altre Librerie

Mostra tutte le  copie di questo libro
Compra nuovo
Prezzo consigliato:
Prezzo: EUR 68,48 Convertire valuta
Spedizione: EUR 12,00 Da: Germania a: U.S.A. Destinazione, tempi e costi
Aggiungere al carrello

Metodi di pagamento
accettati dalla libreria

Visa Mastercard American Express Carte Bleue

Assegno PayPal

Riguardo questo articolo

Neuware - This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support. 460 pp. Englisch. Codice inventario libreria 9783319117362

Fare una domanda alla libreria

Dati bibliografici

Titolo: Formal Methods and Software Engineering

Casa editrice: Springer-Verlag Gmbh Nov 2014

Data di pubblicazione: 2014

Legatura: Taschenbuch

Condizione libro:Neu

Descrizione articolo

Riassunto:

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.