Konferenzschrift | Kongress

Formal specification and development in Z and B : proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540679448
3540679448
Maße
24 cm
Umfang
XIV, 510 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 1878

Schlagwort
Softwareentwicklung
Softwarespezifikation
Formale Spezifikationstechnik
Z
Softwareentwicklung
Softwarespezifikation
Formale Spezifikationstechnik
B

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
2000
Beteiligte Personen und Organisationen
Bowen, Jonathan P.
ZB (1 : 2000 : York)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:09 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 2000

Ähnliche Objekte (12)