. .
Deutsch
Deutschland
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 111.80 EUR, größter Preis: 132.52 EUR, Mittelwert: 116.26 EUR
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: 436f5b4524465636d6b4b7c684b852db

9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995. Proceedings 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-3-540-60271-2, Springer

Neues Buch Buch.de
Nr. 1872484 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 5 - 7 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 - 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: 44903383

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: 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 Computers>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.
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 - Taschenbuch

1995, ISBN: 9783540602712

ID: 791306

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, [ED: 1995], Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (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 - 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 - Taschenbuch

1995, ISBN: 9783540602712

ID: 791306

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, 1995, Softcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
ZUM '95: The Z Formal Specification Notation
Autor:

Jonathan P. Bowen, Michael G. Hinchey

Titel:

ZUM '95: The Z Formal Specification Notation

ISBN-Nummer:

9783540602712

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
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 30.09.2016 03:42:54
ISBN/EAN: 9783540602712

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher