Fenster schließen
Was suchen Sie? (Suchworte, EAN-Nr.)  Such-Tipps

Produktvorschläge:
Sudelhefte Rumpelbuch
Sudelhefte Rumpelbuch
Sudelhefte: Tagebuch I (1958-1961) / Tagebuch II (1962) / Tagebuch III (1963-1965) / Tagebuch IV (1969-1971) Rumpelbuch: Albumblätter / Die Geschichten vom weisen Joachim / Interlakner Tagebuch (1959) / Geschichten mit Titel[...]
EAN 9783729608290
Hersteller: Zytglogge AG
Bester Preis:
2,26€
von: Studibuch-Shop-G
Handbook of Alien Species in Europe
Handbook of Alien Species in Europe
Biological invasions by alien (non-native) species are widely recognized as a significant component of human-caused global environmental change and the second most important cause of biodiversity decline. Alien species threaten[...]
EAN 9781402082795
Hersteller: Springer Netherlands
Bester Preis:
3,38€
von: Studibuch-Shop-G
Clinical Target Volumes in Conformal and Intensity Modulated Radiation Therapy
Clinical Target Volumes in Conformal and Intensity Modulated Radiation Therapy
Conformal radiation therapy represents a new challenge. It offers the prospect of either increasing the radiation dose to target tissues while delivering a[...]
EAN 9783540413806
Hersteller: Springer Berlin Heidelberg
Bester Preis:
2,47€
von: Studibuch-Shop-G
Alle Preise
Elementary Particle Physics.Vol.1: Quantum Field Theory and Particles. Vorwort: Nambu, Yoichiro
Elementary Particle Physics.Vol.1: Quantum Field Theory and Particles. Vorwort: Nambu, Yoichiro
"Elementary Particle Physics. Vol.1: Quantum Field Theory and Particles" ist ein grundlegendes Lehrbuch, das von Yoichiro[...]
EAN 9783527409624
Hersteller: Wiley-VCH
Bester Preis:
70,84€
von: Studibuch-Shop-G
Structural Complexity Management
Structural Complexity Management
Product design is characterized by a steady increase in complexity. The main focus of this book is a structural approach on complexity management. This means, system structures are considered in order to address the challenge[...]
EAN 9783540878889
Hersteller: Springer Berlin Heidelberg
Bester Preis:
2,88€
von: Studibuch-Shop-G
Alle Preise
Android Quick APIs Reference
Android Quick APIs Reference
The Android Quick APIs Reference is a condensed code and APIs reference for the new Google Android 5.0 SDK. It presents the essential Android APIs in a well-organized format that can be used as a handy reference. You won't find[...]
EAN 9781484205242
Hersteller: Apress
Bester Preis:
1,83€
von: Studibuch-Shop-G
Alle Preise

Principles of the Spin Model Checker

Hersteller: Springer London Ltd / EAN-Nummer: 9781846287695


TOP PREIS!
Principles of the Spin Model Checker

Anbieter: Studibuch-Shop-G

Principles of the Spin Model Checker
This is the first introductory textbook on Spin, 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. Complete programs demonstrate each construct and concept and these programs are available on a companion website. von Ben-Ari, Mordechai

Anbieter-Kategorie: Entertainment > Books

Preis: 1,63 Euro (+ Versandkosten 0,00 Euro)

ID: 21922472067

Schlagworte der gewählten Anbieter-Kategorien:
books, des, wiley, edition, den, to, de, publishing, eine, band, zur, springer, press, ein, im, entertainment, von, mit, and, das, gmbh, of, für, the, in, die, der, und, verlag, co