Articles liés à Einführung in die Programmverifikation: Theorie und...
Einführung in die Programmverifikation: Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal (Informatik) - Hohlfeld, Bernhard - Couverture souple
- ISBN 10 3411159715
- ISBN 13 9783411159710
- ReliureBroché
- Coordonnées du fabricantnon disponible
Résultats de recherche pour Einführung in die Programmverifikation: Theorie und...
Image d'archives
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Edité par
Spektrum Akadem.Verlag
ISBN 10 : 3411159715
ISBN 13 : 9783411159710
Ancien ou d'occasion
03
Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
03. Etat : 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. N° de réf. du vendeur 14850
Quantité disponible : Plus de 20 disponibles
Image d'archives
Einführung in die Programmverifikation - Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL -
Edité par
Spektrum Akadem.Verlag
ISBN 10 : 3411159715
ISBN 13 : 9783411159710
Ancien ou d'occasion
03
Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
03. Etat : 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. N° de réf. du vendeur 20983
Quantité disponible : Plus de 20 disponibles
Image d'archives
Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal
Edité par
Spektrum Akadem.Verlag,
ISBN 10 : 3411159715
ISBN 13 : 9783411159710
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen, Geknickt. | Sprache: Deutsch | Produktart: Bücher. N° de réf. du vendeur 38615832/3
Quantité disponible : 2 disponible(s)