Type d'article
Etat
Reliure
Particularités
Livraison gratuite
Pays
Evaluation du vendeur
Edité par Aalborg University, 2000
Vendeur : George Cross Books, Lexington, MA, Etats-Unis
Membre d'association : IOBA
Paperback. First ition edition. Very Good/No Jacket (11023) Very good in lightly worn wraps. Research evaluation of the Department of Computer Science at Aalborg University in Denmark. . 245.
Edité par SP SPRINGER, 2008
ISBN 10 : 3540705821ISBN 13 : 9783540705826
Vendeur : Universal Store, Princeton Junction, NJ, Etats-Unis
Livre
Etat : Brand New. Brand New! Fast Delivery , Delivery with in 6-9 working Day Only , Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. Our courier service is not available at PO BOX& APO BOX.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 33,63
Offres d'occasion à partir de EUR 77,35
Trouvez également Couverture souple
Edité par Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10 : 3642220118ISBN 13 : 9783642220111
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Livre
688 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7804 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 103,91
Offres d'occasion à partir de EUR 24,93
Trouvez également Couverture souple
Edité par Cambridge University Press, 2007
ISBN 10 : 0521875463ISBN 13 : 9780521875462
Vendeur : Ergodebooks, Houston, TX, Etats-Unis
Livre
Hardcover. Etat : Good. 1. Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milners CCS and its operational semantics are introduced, together with notions of behavioral equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 87,68
Offres d'occasion à partir de EUR 45,76
Trouvez également Couverture rigide
Edité par Springer, 2006
ISBN 10 : 3540330453ISBN 13 : 9783540330455
Vendeur : Irish Booksellers, Portland, ME, Etats-Unis
Livre
Etat : Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 53,71
Offres d'occasion à partir de EUR 47,69
Trouvez également Couverture souple
Edité par Cambridge University Press, 1992
ISBN 10 : 0521431115ISBN 13 : 9780521431118
Vendeur : Ammareal, Morangis, France
Livre
No jacket. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Sans jaquette. Couverture différente. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. No dust jacket. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres d'occasion à partir de EUR 51,34
Trouvez également Couverture rigide
Edité par Springer, 2017
ISBN 10 : 3319631209ISBN 13 : 9783319631202
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Livre
Etat : New.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 57,72
Offres d'occasion à partir de EUR 66,86
Trouvez également Couverture souple
Edité par Springer, 2008
ISBN 10 : 3540705740ISBN 13 : 9783540705741
Vendeur : Moe's Books, Berkeley, CA, Etats-Unis
Livre
Soft Cover. Etat : Very Good. No Jacket.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 130,73
Offres d'occasion à partir de EUR 57,69
Trouvez également Couverture souple
Edité par Cambridge University Press
ISBN 10 : 1107410681ISBN 13 : 9781107410688
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Livre impression à la demande
Etat : new. Questo è un articolo print on demand.
Edité par Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10 : 3642220053ISBN 13 : 9783642220050
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Livre
824 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. so7803 9783642220050 Sprache: Englisch Gewicht in Gramm: 900.
Plus de choix d'achat de la part d'autres vendeurs sur AbeBooks
Offres neuf à partir de EUR 109,65
Offres d'occasion à partir de EUR 71,10
Trouvez également Couverture souple