Konferenzschrift | Kongress

Industrial strength formal methods : proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540566625
3540566627
9780387566627
0387566627
Maße
24 cm
Umfang
XI, 689 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 670

Schlagwort
Formale Spezifikationstechnik
Systementwicklung
Mathematische Methode

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1993
Beteiligte Personen und Organisationen
Woodcock, James C. P.
FME (1 : 1993 : Odense)

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

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Woodcock, James C. P.
  • FME (1 : 1993 : Odense)
  • Springer

Entstanden

  • 1993

Ähnliche Objekte (12)

Industrial strength formal methods in practice

Aufsatzsammlung

Industrial strength formal methods in practice

Industrial benefit of formal methods : proceedings

Konferenzschrift | Kongress

Industrial benefit of formal methods : proceedings

Industrial benefit and advances in formal methods : proceedings

Konferenzschrift | Kongress

Industrial benefit and advances in formal methods : proceedings

Industrial applications and strengthened foundations of formal methods : proceedings

Konferenzschrift | Kongress

Industrial applications and strengthened foundations of formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods : proceedings

Konferenzschrift | Kongress

Formal methods : proceedings

Formal methods for industrial critical systems : 18th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 18th international workshop ; proceedings

Formal methods for industrial critical systems : 17th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 17th international workshop ; proceedings

Formal methods for industrial critical systems : 14th international workshop ; proceedings

Konferenzschrift | Kongress | Kongress <2009>

Formal methods for industrial critical systems : 14th international workshop ; proceedings

Formal methods for industrial critical systems : 15th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 15th international workshop ; proceedings

Verbundene Objekte