Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118ISBN 13: 9783642220111
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
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.
Verlag: Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220118ISBN 13: 9783642220111
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
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. so7840 9783642220111 Sprache: Englisch Gewicht in Gramm: 900.
Verlag: Cambridge University Press, 1992
ISBN 10: 0521431115ISBN 13: 9780521431118
Anbieter: Ammareal, Morangis, Frankreich
Buch
No jacket. Zustand: 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.
Verlag: Cambridge University Press, 2007
ISBN 10: 0521875463ISBN 13: 9780521875462
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Buch
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521875462.
Verlag: Cambridge University Press 28.08.1992., 1992
ISBN 10: 0521431115ISBN 13: 9780521431118
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Gut. 283 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Ohne Schutzumschlag Sprache: Englisch Gewicht in Gramm: 969 24,6 x 18,0 x 2,0 cm, Gebundene Ausgabe.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319631209ISBN 13: 9783319631202
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributionsacross a remarkably wide range of topics, including real-time, concurrent,and probabilistic models of computation, logic in computer science, andmodel checking. Since 1995, he has been one of the prime movers behind the modelchecking tool for real-time systems UPPAAL, for which he was a co-recipient ofthe CAV Award in 2013.The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.
Verlag: Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220053ISBN 13: 9783642220050
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
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. so7933 9783642220050 Sprache: Englisch Gewicht in Gramm: 900.
Verlag: Berlin, Springer Berlin / Heidelberg, 2011
ISBN 10: 3642220053ISBN 13: 9783642220050
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Buch
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.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540705821ISBN 13: 9783540705826
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, in July 2008. The 126 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from a total of 407 submissions. The papers are grouped in three major tracks on algorithms, automata, complexity and games, on logic, semantics, and theory of programming, and on security and cryptography foundations. LNCS 5126 contains 56 contributions of track B and track C selected from 208 submissions and 2 invited lectures. The papers for track B are organized in topical sections on bounds, distributed computation, real-time and probabilistic systems, logic and complexity, words and trees, nonstandard models of computation, reasoning about computation, and verification. The papers of track C cover topics in security and cryptography such as theory, secure computation, two-party protocols and zero-knowledge, encryption with special properties/quantum cryptography, various types of hashing, as well as public-key cryptography and authentication.
Verlag: Cambridge University Press, 2007
ISBN 10: 0521875463ISBN 13: 9780521875462
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Milner's CCS and its operational semantics are introduced, together with notions of behavioural 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.
Verlag: Springer Berlin Heidelberg, 2006
ISBN 10: 3540330453ISBN 13: 9783540330455
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.The 28 revised full papers prese.
Verlag: Springer Berlin, 2011
ISBN 10: 3642220118ISBN 13: 9783642220111
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 2011. Neubindung, Buchrücken leicht geknickt und eingerissen, Part 2, Ausg. 2011 10868185/12.
Verlag: Springer Berlin, 2011
ISBN 10: 3642220053ISBN 13: 9783642220050
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 2011. Neubindung, Buchrücken leicht geknickt und eingerissen, Part 1, Ausg. 2011 10868174/12.
Verlag: Springer Berlin, 2008
ISBN 10: 3540705821ISBN 13: 9783540705826
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 2008. Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 4485553/12.
Verlag: Springer Berlin, 2008
ISBN 10: 3540705740ISBN 13: 9783540705741
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. 2008. Neubindung, Buchrücken fehlerhaft geklebt, Auflage 2008 4485554/12.
Verlag: Springer Berlin Heidelberg 2011-06-27, Heidelberg, 2011
ISBN 10: 3642220053ISBN 13: 9783642220050
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.