Programmverifikation : Sequentielle, parallele und verteilte Programme

Ernst-Rüdiger Olderog, Krzysztof R. Apt

ISBN 10: 3540574794 ISBN 13: 9783540574798
Editore: Springer Berlin Heidelberg, 1994
Lingua: Tedesco
Condizione: Usato - Molto buono Brossura

Venduto da Buchpark, Trebbin, Germania

Venditore AbeBooks dal 30 settembre 2021

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

Visualizza gli articoli del venditore


Usato - Brossura

Condizione: Usato - Molto buono

Prezzo:
EUR 7,69
EUR 105,00 per la spedizione da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungere al carrello