Susanne Biundo 
Automatische Synthese rekursiver Programme als Beweisverfahren [PDF ebook] 

Wsparcie
€47.79
Metody Płatności
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Niemiecki ● Format PDF ● ISBN 9783642847448 ● Wydawca Springer Berlin Heidelberg ● Opublikowany 2013 ● Do pobrania 3 czasy ● Waluta EUR ● ID 6335029 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

16 612 Ebooki w tej kategorii