Konferenzschrift | Kongress

Unifying theories of programming and formal engineering methods : advanced lectures

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642397202
3642397204
Maße
24 cm, 456 g
Umfang
VIII, 281 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 8050 : Tutorial

Schlagwort
Unifikationstheorie
Programmierung
Formale Methode
Spezifikationstechnik
Systementwicklung
Softwareentwicklung
Verifikation

Ereignis
Veröffentlichung
(wo)
Heidelberg, Dordrecht, London, New York, NY, Berlin
(wer)
Springer
(wann)
2013
Beteiligte Personen und Organisationen
Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
ICTAC (10 : 2013 : Schanghai)

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:05 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

  • 2013

Ähnliche Objekte (12)