Merz stephan editor (3 risultati)
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)
Broy, Manfred [Editor]; Merz, Stephan [Editor]; Spies, Katharina [Editor];
- Brossura
Da: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 11,33
EUR 6,09 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,72
EUR 14,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 347 pages. 9.41x6.26x0.79 inches. In Stock.
Interactive Theorem Proving: 7th International Conference, Proceedings
Blanchette, Jasmin Christian (Editor)/ Merz, Stephan (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,44
EUR 40,74 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 520 pages. 9.25x6.10x1.18 inches. In Stock.
