Konferenzschrift

Tools and algorithms for the construction and analysis of systems, Part 1

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783662545768
3662545764
Maße
24 cm
Umfang
XXIV, 609 Seuten
Ausgabe
[1st edition]
Sprache
Englisch
Anmerkungen
Illustrationen

Erschienen in
Tools and algorithms for the construction and analysis of systems
Lecture notes in computer science ; 10205

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Springer
(wann)
[2017]
Beteiligte Personen und Organisationen
Springer-Verlag GmbH
TACAS (23. : 2017 : Uppsala)

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:31 MESZ

Datenpartner

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

Objekttyp

  • Konferenzschrift

Beteiligte

Entstanden

  • [2017]

Ähnliche Objekte (12)