Più di un milione di libri, a un clic di distanza!
Bookbot

Program verification in synthetic domain theory

Acquisto del libro

Program verification in synthetic domain theory, Bernhard Reus

Lingua
Pubblicato
1996
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento