Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 7th international conference ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540418658
3540418652
Maße
24 cm
Umfang
XIV, 588 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 2031

Schlagwort
Systementwicklung
Softwareentwicklung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
2001
Beteiligte Personen und Organisationen
Margaria-Steffen, Tiziana
TACAS (7 : 2001 : Genua)
ETAPS (4 : 2001 : Genua)

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

  • 2001

Ähnliche Objekte (12)

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

Konferenzschrift

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

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

Konferenzschrift

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

Algorithms and computation : 7th international symposium ; proceedings

Konferenzschrift | Kongress

Algorithms and computation : 7th international symposium ; proceedings

Algorithms and computation : 7th international workshop ; proceedings

Konferenzschrift | Kongress

Algorithms and computation : 7th international workshop ; proceedings

Algorithms and complexity : 7th international conference ; proceedings

Konferenzschrift | Kongress

Algorithms and complexity : 7th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 13th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 21st international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 21st international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 19th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 19th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 17th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 17th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 20th international conference ; proceedings

Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings

Verbundene Objekte