ZB 2003: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2651 (PDF)
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.
...
48 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.
The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
- 2003, 2003, 554 Seiten, Englisch
- Herausgegeben: Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540448802
- ISBN-13: 9783540448808
- Erscheinungsdatum: 03.08.2003
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 5.57 MB
- Ohne Kopierschutz
- Vorlesefunktion
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "ZB 2003: Formal Specification and Development in Z and B / Lecture Notes in Computer Science Bd.2651".
Kommentar verfassen