Tests and proofs 6th international conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: TAP (BerichterstatterIn)
Weitere Verfasser: Brucker, Achim D. (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2012
Schriftenreihe:Lecture notes in computer science 7305
Schlagworte:
Online Zugang:Verlagsangaben
Inhaltsverzeichnis
Inhaltstext
Cover
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!