The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley; Zohar Manna

Von:

Bradley, Aaron R [aut]

Mitwirkende(r):

Manna, Zohar, 1939-2018 [aut]

Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 12078547Sprache: Englisch Verlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: XV, 366 S. : graph. Darst. ; 235 mm x 155 mmISBN:

3540741127
9783540741121
9783642093470

Schlagwörter:

Andere physische Formen: 9783540741138 | Online-Ausg.: The Calculus of Computation. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. Online-Ressource (XVI, 366 p. 60 illus, digital)MSC: MSC: *03-02 | 03B70 | 68Q60 | 03B25 | 03F30 | 68-02 | 68N30RVK: RVK: ST 125LOC-Klassifikation:

QA76.9.L63

Call number: Grundsignatur: 2007 A 7131PPN: PPN: 539009342

Exemplare ( 3 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Exemplarnummer	Status	Fälligkeitsdatum	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 1.2	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2007 A 7131		Verfügbar		49233462090
Freihandbestand ausleihbar	Fachbibliothek Mathematik		Bibliothek / frei aufgestellt	Inf. / Bra		Verfügbar		36534681090
Handbibliothek	ITI	inf 1.2	Handbibliothek (Ausleihe und Einsicht nicht möglich)	2007 A 7131	;b	Ausgeliehen Ausleihe und Einsicht nicht möglich	04.02.2033	49434874090

Anzahl Vormerkungen: 0