Merz stephan editor (4 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,28
EUR 6,27 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
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 82,53
EUR 15,00 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 85,36
EUR 47,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 520 pages. 9.25x6.10x1.18 inches. In Stock.
Modeling and Verification of Real-time Systems Format: Hardcover
Editor: Nicolas Navet (Real-Time Systems at INRIA Lorraine (Nancy, France)); Editor: Stephan Merz (INRIA Lorraine (Nancy, France))
- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 207,99
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.
