. .
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 3540602712 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 99,99 €, größter Preis: 126,88 €, Mittelwert: 112,81 €
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: 746567103

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 - 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: 9783540602712

Computer Science; Software Engineering/Programming and Operating Systems; Programming Languages, Compilers, Interpreters; Software Engineering; Symbolic and Algebraic Manipulation; Programming Techniques; Combinatorics Formale Methoden, Formale Spezifikation, Software Engineering, Spezifikationssprache Z, Systementwicklung, formal method, formal methods, formal specification, object, software enginering, system development, testing, z specification language Books Book, Springer Science+Business Media

Neues Buch Springer.com
Versandkosten: 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 > Ratgeber > Computer & Internet, 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 - 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.

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 20.07.2017 00:24:35
ISBN/EAN: 3540602712

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


< zum Archiv...
Benachbarte Bücher