Plus d’un million de livres, à portée de main !
Bookbot

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme

Auteurs

Achat du livre

Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme, Gerd Kock

Langue
Année de publication
1992
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer