Hohlfeld struckmann (3 risultati)
- Brossura
Da: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , GermaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 4,95
EUR 15,90 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
03. Condizione: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch.
- Brossura
Da: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , GermaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 4,95
EUR 15,90 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
03. Condizione: Wie neu. 1992. 304 S. Dieses Buch behandelt die wichtigste Methode zur Verifikation von Programmen - das HOARE-Kalkül - durchgängig von den theoretischen Grundlagen bis hin zu den praktischen Anwendungen. Zu Beginn wird das zum Verständnis der Hoareschen Methode notwendige ma Sprache: Deutsch.
Editore: Spektrum Akadem.Verlag,
- Brossura
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 7,69
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.
