Hohlfeld struckmann (3 resultados)
- Tapa blanda
Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , AlemaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 4,95
Envío por EUR 15,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
03. Condición: 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.
- Tapa blanda
Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, , AlemaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 4,95
Envío por EUR 15,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
03. Condición: 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.
Editorial: Spektrum Akadem.Verlag,
- Tapa blanda
Librería: Buchpark, Trebbin, , AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 7,69
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Gut. Zustand: Gut | Produktart: Bücher | Keine Beschreibung verfügbar.
