nasa formal methods third (2 Ergebnisse)

Titel: nasa formal methods third

Mit der Detailsuche verfeinern

Sortiert nach

Beispielbild f�r diese ISBN

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Bobaru, Mihaela (Editor) / Havelund, Klaus (Editor) / Holzmann, Gerard (Editor) / Joshi, Rajeev (Editor)

Verlag: Springer, 2011

ISBN 10: 3642203973 ISBN 13: 9783642203978

Sprache: Englisch

Anbieter: Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu - Softcover
Zustand: Neu

EUR 84,08

EUR 14,19 f�r den Versand von Vereinigtes K�nigreich nach USA

Anzahl: 2 verf�gbar
In den Warenkorb

Paperback. Zustand: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Beispielbild f�r diese ISBN

NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Unbekannt

Verlag: Springer-Verlag GmbH, 2011

ISBN 10: 3642203973 ISBN 13: 9783642203978

Sprache: Englisch

Anbieter: Buchpark, Trebbin, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Gebraucht - Softcover
Zustand: Sehr gut

EUR 42,78

EUR 105,00 f�r den Versand von Deutschland nach USA

Anzahl: 1 verf�gbar
In den Warenkorb

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: B�cher.