Konferenzschrift | Kongress

Theoretical aspects of computing : 9th international colloquium ; proceedings

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642329425
364232942X
Dimensions
24 cm
Extent
XII, 258 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 7521

Keyword
Theoretische Informatik
Softwareentwicklung
Programmverifikation
Softwaretest
Formale Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg
(who)
Springer
(when)
2012
Contributor
Roychoudhury, Abhik
D'Souza, Meenakshi
ICTAC (9 : 2012 : Bangalore)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 1:53 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

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

Time of origin

  • 2012

Other Objects (12)