Reactive Systems: Modelling, Specification and Verification und über 1,5 Millionen weitere Bücher verfügbar für Amazon Kindle. Erfahren Sie mehr
  • Alle Preisangaben inkl. MwSt.
Nur noch 1 auf Lager (mehr ist unterwegs).
Verkauf und Versand durch Amazon.
Geschenkverpackung verfügbar.
Menge:1
Reactive Systems: Modelli... ist in Ihrem Einkaufwagen hinzugefügt worden
+ EUR 3,00 Versandkosten
Gebraucht: Gut | Details
Verkauft von Deal DE
Zustand: Gebraucht: Gut
Kommentar: Dieses Buch ist in gutem, sauberen Zustand. Seiten und Einband sind intakt.
Ihren Artikel jetzt
eintauschen und
EUR 11,35 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Alle 3 Bilder anzeigen

Reactive Systems: Modelling, Specification and Verification (Englisch) Gebundene Ausgabe – 9. August 2007

1 Kundenrezension

Alle 2 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
Gebundene Ausgabe
"Bitte wiederholen"
EUR 87,30
EUR 64,00 EUR 42,03
10 neu ab EUR 64,00 9 gebraucht ab EUR 42,03

Hinweise und Aktionen

  • Große Hörbuch-Sommeraktion: Entdecken Sie unsere bunte Auswahl an reduzierten Hörbüchern für den Sommer. Hier klicken.

Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.



Produktinformation

  • Gebundene Ausgabe: 302 Seiten
  • Verlag: Cambridge University Press (9. August 2007)
  • Sprache: Englisch
  • ISBN-10: 1107410681
  • ISBN-13: 978-1107410688
  • ASIN: 0521875463
  • Größe und/oder Gewicht: 17,4 x 1,7 x 24,7 cm
  • Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen  Alle Rezensionen anzeigen (1 Kundenrezension)
  • Amazon Bestseller-Rang: Nr. 247.788 in Fremdsprachige Bücher (Siehe Top 100 in Fremdsprachige Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Über das Produkt

This accessible text describes the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Offering a balanced introduction for graduate students, the book describes all the various approaches, their strengths and weaknesses, and when they are best used.

Synopsis

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.

In diesem Buch

(Mehr dazu)
Mehr entdecken
Wortanzeiger
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis
Hier reinlesen und suchen:

Kundenrezensionen

5.0 von 5 Sternen
5 Sterne
1
4 Sterne
0
3 Sterne
0
2 Sterne
0
1 Sterne
0
Siehe die Kundenrezension
Sagen Sie Ihre Meinung zu diesem Artikel

Die hilfreichsten Kundenrezensionen

Format: Gebundene Ausgabe
I use the first half of this book for teaching to 4th semester students in Bachelor CS.
The didactic approach is excellent, and my students love it.
Kommentar War diese Rezension für Sie hilfreich? Ja Nein Feedback senden...
Vielen Dank für Ihr Feedback. Wenn diese Rezension unangemessen ist, informieren Sie uns bitte darüber.
Wir konnten Ihre Stimmabgabe leider nicht speichern. Bitte erneut versuchen

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 1 Rezension
1 von 4 Kunden fanden die folgende Rezension hilfreich
No good 18. Mai 2014
Von Tyler - Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe
This book sucks. I'll tell it like it is. Too much theory and not enough examples. Snippets of an example don't do anything. And a bunch of "it's not hard to see", "Obviously", "it is easy to see".... If it was, I would already know it and not be reading this book. Dosen't cover the any basics that are needed. Another thing I hate is that they refer to a picture or graphic that is on the other side of the page of 2 pages away. then they talk about it and you can't see anything. I'm not gonna flip through the pages all the time. If you talk about a graphic, put it on the SAME page !
Ist diese Rezension hilfreich? Wir wollen von Ihnen hören.