Konferenzschrift | Kongress

Programming languages and systems : 8th Asian symposium ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642171635
Maße
24 cm
Umfang
XI, 456 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6461

Schlagwort
Programmiersprache
Formale Methode
Programmverifikation
Softwaresystem
Programmanalyse
Model Checking

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2010
Beteiligte Personen und Organisationen
Ueda, Kazunori
APLAS (8 : 2010 : 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:04 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

  • 2010

Ähnliche Objekte (12)