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 - Couverture rigide

 
9783860259382: Einführung in die Programmverifikation. Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache Pascal

L'édition de cet ISBN n'est malheureusement plus disponible.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande