Verifikation
– Buch gebraucht, antiquarisch & neu kaufen
Zu Verifikation
passende Sparten
| Computer / Multimedia: Informatik | |
| Computer / Multimedia: Programmierung |
656 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Instruction für die Verificatoren von Maß und Gewicht
N. A. N. A.
De Gruyter Oldenbourg, De Gruyter Oldenbourg
, 01.01.1870, BuchNeuware
Programmentwicklung und Verifikation
Gerald Futschek
Springer Wien
, TaschenbuchISBN: 3211818677
Zustand: leichte Gebrauchsspuren
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Instruction für die Verificatoren von Maß und Gewicht
n. a., n. a.
De Gruyter / De Gruyter Oldenbourg / Oldenbourg Wissenschaftsverlag
, HardcoverISBN: 3486722255
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Programmentwicklung und Verifikation
Gerald Futschek
Springer Wien
, 1989, TaschenbuchISBN: 3211818677
Neuware
mehr Info >>
wird gespeichert …
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Digitale Hardware/Software-Systeme - Spezifikation und Verifikation
Haubelt, Christian; Teich, Jürgen
Springer Berlin
, 2010, TaschenbuchISBN: 9783642053559
Neuware
mehr Info >>
wird gespeichert …
Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 144
Hans Eckert
Oldenbourg Verlag
, 1985.ISBN: 3486289616
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen / Peter Ochsenschläger ; Rainer Prinoth. Mit einem Geleitw. von Eckart Raubold
Ochsenschläger, Peter und Rainer Prinoth
Braunschweig ; Wiesbaden : Vieweg
, 1995.ISBN: 3528054336
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Strukturbasierte Verifikation von BPMN-Modellen
Jens Müller
Vieweg & Teubner
, 2011, TaschenbuchISBN: 9783834815712
Zustand: wie neu
mehr Info >>
wird gespeichert …
Analyse und Verifikation von Programmen: Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software Endres, Albert
Analyse und Verifikation von Programmen: Systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software Endres, Albert
ISBN: 348621361X
Zustand: Sammlerstück; gut
Verilog: Modellbildung für Synthese und Verifikation (Grundlagen der Elektro- und Informationstechnik)
Bernhard Hoppe
Oldenbourg Wissenschaftsverlag
, 2006, Gebundene AusgabeISBN: 3486580043
Zustand: deutliche Gebrauchsspuren
mehr Info >>
wird gespeichert …