Treffer: Temporal assertions for sequential and concurrent programs

Titel:

Beteiligt:

Stolz, Volker

Veröffentlicht:

Aachen : RWTH, 2007

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (143 S., 948 KB)

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2007,15

Schlagworte:

Zusatz-Informationen