Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer (edition 2nd,Revised), 2003
ISBN 10: 1852333197ISBN 13: 9781852333195
Anbieter: BooksRun, Philadelphia, PA, USA
Buch
Paperback. Zustand: Good. 2nd,Revised. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Verlag: Springer London, Limited, 2012
ISBN 10: 1447141288ISBN 13: 9781447141280
Anbieter: Better World Books, Mishawaka, IN, USA
Buch
Zustand: Very Good. 3rd ed. 2012. Used book that is in excellent condition. May show signs of wear or have minor defects.
Verlag: Prentice-Hall, 1993
ISBN 10: 013564139XISBN 13: 9780135641392
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Gut. 320 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 24,1 x 17,8 x 1,9 cm, Taschenbuch.
Verlag: Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
Buch
Paperback. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Verlag: Springer, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Anbieter: Studibuch, Stuttgart, Deutschland
Buch
paperback. Zustand: Gut. 232 Seiten; 9781846287695.3 Sprache: Deutsch Gewicht in Gramm: 1.
Verlag: Springer, 2017
ISBN 10: 3319625322ISBN 13: 9783319625324
Anbieter: Monster Bookshop, Fleckney, Vereinigtes Königreich
Buch
Paperback. Zustand: New. BRAND NEW ** SUPER FAST SHIPPING FROM UK WAREHOUSE ** 30 DAY MONEY BACK GUARANTEE.
Verlag: Springer London 2008-01-08, New York |London, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.
Verlag: Springer International Publishing, 2022
ISBN 10: 3031135652ISBN 13: 9783031135651
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Verlag: Springer London, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. First introductory textbook on SpinIncludes complete programs which will demonstrate construct and concept available on a companion websitePromela and Spin are presented in a graduated manner, to facilitate easy learningThis is .
Verlag: Springer London, 2012
ISBN 10: 1447141288ISBN 13: 9781447141280
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
Verlag: Springer Nature Singapore, 2008
ISBN 10: 1846287693ISBN 13: 9781846287695
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.
Verlag: Springer London, 2012
ISBN 10: 1447141288ISBN 13: 9781447141280
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer London, 2009
ISBN 10: 1848823134ISBN 13: 9781848823136
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.
Verlag: Cham: Springer, 2018., 2018
Anbieter: Antiquariat Im Seefeld / Ernst Jetzer, Zürich, Schweiz
308 pp., larege octavo, brochure. 800 g.
Verlag: Springer International Publishing, 2017
ISBN 10: 3319625322ISBN 13: 9783319625324
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New. Presents algorithms at a high-level that can be adapted for use with any educational robotDemonstrates advanced topics (localization, mapping, machine learning, swarm robotics) in simplified contexts Facilitates the transition from p.
Verlag: Springer, 2017
ISBN 10: 3319625322ISBN 13: 9783319625324
Anbieter: Studibuch, Stuttgart, Deutschland
Buch
paperback. Zustand: Gut. 324 Seiten; 9783319625324.3 Sprache: Deutsch Gewicht in Gramm: 12.
Verlag: Prentice-Hall 01.10.1982., 1982
ISBN 10: 0137010788ISBN 13: 9780137010783
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Gut. 192 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 270 22,4 x 15,0 x 1,3 cm, Taschenbuch.