ZB 2002: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2272 (PDF)
2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „ZB 2002: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2272 (PDF)“
This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.
Bibliographische Angaben
- 2003, 2002, 541 Seiten, Englisch
- Herausgegeben: Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540456481
- ISBN-13: 9783540456483
- Erscheinungsdatum: 31.07.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.39 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "ZB 2002: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2272"
0 Gebrauchte Artikel zu „ZB 2002: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2272“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "ZB 2002: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2272".
Kommentar verfassen