Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

ZB 2002: Formal Specification and Development in Z and B

53,49 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 1846902d6163bd4fd4b3dfa78a349640f8
Themengebiete: B method Formal methods UML Z notation formal specification formal verification software construction software design systems development
Veröffentlichungsdatum: 16.01.2002
EAN: 9783540431664
Sprache: Englisch
Seitenzahl: 541
Produktart: Kartoniert / Broschiert
Herausgeber: Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken
Verlag: Springer Berlin
Untertitel: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
Produktinformationen "ZB 2002: Formal Specification and Development in Z and B"

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen