Nasa formal methods 5th (9 Ergebnisse)
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,93
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,90
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,46
EUR 18,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,43
EUR 17,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,84 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully… reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,45
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. NASA Formal Methods | 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings | Guillaume Brat (u. a.) | Taschenbuch | xxiv | Englisch | 2013 | Springer | EAN 9783642380877 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg…, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 128,26
EUR 17,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 118,68
EUR 29,10 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Nasa Formal Methods : 5th International Symposium, Nfm 2013, Moffett Field, Ca, USA, May 14-16, 2013. Proceedings
Brat, Guillaume (EDT); Rungta, Neha (EDT); Venet, Arnaud (EDT)
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 149,87
EUR 2,27 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
