Formal Methods of Program Verification and Specification

Berg, H. K., W. R. Franta, T. G. Moher, W. E. Boebert

Editore: UMN, Honeywell and Institut fur Technische Informatik, 1979
Condizione: Usato - Buono Brossura

Venduto da Mythos Center Books, Frontenac, MN, U.S.A.

Venditore AbeBooks dal 30 gennaio 2012

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Buono

Prezzo:
EUR 26,38
Spedizione EUR 3,84
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungere al carrello