ZB 2002: Formal Specification and Development in Z and B 2nd international conference of B and Z Users, Grenoble, France, January 23-25, 2002 ; proceedings ZB 2002. Didier Bert ... (ed.)
Materialtyp:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540431667
- ZB 2002, International Conference of B and Z Users
- B (Computer program language) -- Congresses
- Z (Computer program language) -- Congresses
- B (Computer program language) -- Congresses
- Z (Computer program language) -- Congresses
- B <Programmiersprache>
- Formale Spezifikationstechnik
- Softwareentwicklung
- Softwarespezifikation
- Z <Programmiersprache>
- -- Kongress
- Softwareentwicklung
- Softwarespezifikation
- Formale Spezifikationstechnik
- Z Programmiersprache
- B Programmiersprache
- 28
- SS 4800
- *00B25
- 68-06
- 68Q60
- 54.10
- 54.52
- Archivierung/Langzeitarchivierung gewährleistet PEBW
Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 2272 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000174600 |
Literaturangaben
Bert, Didier: ZB 2002:Formal Specification and Development in Z and B
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31