Konferenzschrift | Kongress

Theoretical aspects of computing : 9th international colloquium ; proceedings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642329425
364232942X
Maße
24 cm
Umfang
XII, 258 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 7521

Schlagwort
Theoretische Informatik
Softwareentwicklung
Programmverifikation
Softwaretest
Formale Methode

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2012
Beteiligte Personen und Organisationen
Roychoudhury, Abhik
D'Souza, Meenakshi
ICTAC (9 : 2012 : Bangalore)

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

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Roychoudhury, Abhik
  • D'Souza, Meenakshi
  • ICTAC (9 : 2012 : Bangalore)
  • Springer

Entstanden

  • 2012

Ähnliche Objekte (12)