. .
Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540602712 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 99,99 €, größter Preis: 126,88 €, Mittelwert: 115,29 €
ZUM ´95: The Z Formal Specification Notation - Jonathan P. Bowen#Michael G. Hinchey
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan P. Bowen#Michael G. Hinchey:
ZUM ´95: The Z Formal Specification Notation - neues Buch

ISBN: 9783540602712

ID: 588063859

This book presents the proceedings of the 9th International Conference of Z Users, ZUM ´95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used ´´formal method´´ both in industry and application, the volume is of high relevance for the whole formal methods community. 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 23.08.1995 Buch (fremdspr.), Springer, .199

Neues Buch Buch.ch
No. 1872484 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZUM ´95: The Z Formal Specification Notation - Jonathan P. Bowen#Michael G. Hinchey
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan P. Bowen#Michael G. Hinchey:
ZUM ´95: The Z Formal Specification Notation - neues Buch

ISBN: 9783540602712

ID: 836166544

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used ´´formal method´´ both in industry and application, the volume is of high relevance for the whole formal methods community. 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1872484 Versandkosten:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZUM ´95: The Z Formal Specification Notation als Buch von
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
ZUM ´95: The Z Formal Specification Notation als Buch von - gebunden oder broschiert

ISBN: 9783540602712

ID: 712226684

ZUM ´95: The Z Formal Specification Notation:9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings Lecture Notes in Computer Science. 1995. Auflage ZUM ´95: The Z Formal Specification Notation:9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings Lecture Notes in Computer Science. 1995. Auflage Bücher > English, International > Gebundene Ausgaben, Springer

Neues Buch Hugendubel.de
No. 6925643 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZUM ´95: The Z Formal Specification Notation als Buch von
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
ZUM ´95: The Z Formal Specification Notation als Buch von - gebunden oder broschiert

ISBN: 9783540602712

ID: 712226684

ZUM ´95: The Z Formal Specification Notation:9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1995. Auflage ZUM ´95: The Z Formal Specification Notation:9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1995. Auflage Bücher > English, International > Gebundene Ausgaben, Springer Berlin Heidelberg

Neues Buch Hugendubel.de
No. 6925643 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings - Jonathan P. Bowen
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Jonathan P. Bowen:
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings - Taschenbuch

ISBN: 9783540602712

ID: 9783540602712

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings ZUM-95~~Jonathan-P-Bowen Technology Programming>Xxxsoftware Engr>* Desc Unknown Paperback, Springer Berlin Heidelberg

Neues Buch Barnesandnoble.com
new Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
ZUM '95: The Z Formal Specification Notation

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Detailangaben zum Buch - ZUM '95: The Z Formal Specification Notation


EAN (ISBN-13): 9783540602712
ISBN (ISBN-10): 3540602712
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer-Verlag GmbH
571 Seiten
Gewicht: 0,888 kg

Buch in der Datenbank seit 12.10.2007 15:00:08
Buch zuletzt gefunden am 11.10.2017 12:15:56
ISBN/EAN: 9783540602712

ISBN - alternative Schreibweisen:
3-540-60271-2, 978-3-540-60271-2


< zum Archiv...
Benachbarte Bücher