Formal Methods for Components and Objects | Sehr gut | BUC24146207/12
Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Versandkostenfrei ab 19€

Produktinformationen "Formal Methods for Components and Objects"

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Untertitel


H | B | T | Gramm
235 mm | 155 mm | 14 mm | 388 gr

Erscheinungsjahr
2013

FSK
0

Ausgabe
Hardcover

Publisher
Buchpark GmbH, Krügerweg 1, 14959 Trebbin, Telefon: +4933817976585, E-Mail: info@buchpark.de

ISBN-10
3642406149

ISBN-13
9783642406140

Weitere Mitwirkende
Giachino, Elena | Bonsangue, Marcello M. | De Boer, Frank S. | Hähnle, Reiner

Sprache
Englisch

0 von 0 Bewertungen

Durchschnittliche Bewertung von 0 von 5 Sternen

Bewerten Sie dieses Produkt!

Teilen Sie Ihre Erfahrungen mit anderen Kunden.


Wusstest du, dass...

ein wiederverkauftes Buch rund 2,7 kg CO₂ einspart – das entspricht einer 14 km langen Autofahrt?

Erfahre mehr zum Thema Nachhaltigkeit bei Buchpark

Versandkostenfrei ab 19 €

14 Tage Rückgaberecht - Kein Risiko

Geprüfte Gebrauchtware