S gnesi (2 Ergebnisse)

Autor:

Mit der Detailsuche verfeinern

Abstract State Machines, Alloy, B, Vdm, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Derrick, John (Editor)/ Fitzgerald, John S. (Editor)/ Gnesi, Stefania (Editor)/ Khurshid, Sarfraz (Editor)/ Leuschel, Michael (Editor)
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
3642308848 / 9783642308840
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 82,29
EUR 14,53 Versand
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2012 edition. 393 pages. 9.00x6.25x0.75 inches. In Stock.
Formal Methods for Industrial Critical Systems
S Gnesi
Sprache: Englisch
Verlag: John Wiley & Sons, 2013
0470876182 / 9780470876183
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in mit 5 Sternen
Verkäufer/-in kontaktieren
Zustand: Neu
EUR 101,58
EUR 48,99 Versand
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Zustand: New. STEFANIA GNESI is Director of Research and head of the Formal Methods and Tools Laboratory at ISTI-CNR (Istituto di Scienza e Tecnologie dell Informazione-Consiglio Nazionale delle Ricerche) in Pisa, Italy. She was previously a lecturer in methods and tools.