Mit press ltd
Principles of Model Checking (inbunden, eng)
1 255 kr
1 255 kr
Tis, 29 okt - ons, 30 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Produktbeskrivning
One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications.
Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.
The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties.
It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation.
The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
Format Inbunden Omfång 984 sidor Språk Engelska Förlag MIT Press Ltd Utgivningsdatum 2008-04-25 ISBN 9780262026499
Vikt, gram
500
Artikel.nr.
4e6aaca7-a1b3-4d91-9a02-5778caf65c36
Egenskaper | |
---|---|
Modell | Pappersbok |
Slag | Datorer och internet |
Språkversion | Engelska |
Bokomslagstyp | Inbunden |
Antal sidor | 975 sidor |
Rekommenderad ålder | Vuxen |
Föreslagen målgrupp | Alla |
Skrivet av | Jost - Pieter Katoen |
Utgivare | MIT Press |
Släpp datum | 06/2008 |
Publiceringsår | 2008 |
International Standard Book Number (ISBN) | 9780262026499 |
Vikt & dimension | |
Bredd | 205 mm |
Djup | 46 mm |
Höjd | 254 mm |
Fyndiq har inget eget lager utan arbetar med enskilda butiker som lagerhåller produkter i och utanför Sverige, Europeiska unionen (EU) och Europeiska ekonomiska samarbetsområdet (EES).
Din beställning skickas från respektive butiks egna lager inom 24 timmar (helgfri måndag till fredag) från det att Fyndiq har bekräftat köpet med en beställningsbekräftelse till dig.
Produkterna levereras till dig inom 1-21 arbetsdagar, beroende på produkt, antingen direkt i din brevlåda eller till ditt närmsta ombud. Om du beställt produkter från olika butiker så skickas de i separata paket.
Beräknat leveransdatum ser du alltid på produktkortet och i din beställningsbekräftelse.
Snabbare leverans
Snabbare leverans, uppges på produkter vars beräknad leveranstid är mellan 1-3 arbetsdagar
Längre leveranstid
Längre leveranstid, uppges på produkter vars beräknad leveranstid är mer än 13 arbetsdagar
Fraktkostnad
Frakten kostar endast 29 kr! Det tillkommer inga ytterligare frakt- eller leveranskostnader efter köpet.
Mit press ltd
Principles of Model Checking (inbunden, eng)
1 255 kr
1 255 kr
Tis, 29 okt - ons, 30 okt
Säker betalning
Nöjd kund-löfte
30 dagars öppet köp
Toppsäljare i kategorin
snabbladdare för iphone med 2m kablar vägladdare med 2 m kabel
69 kr
Tidigare lägsta pris:
79 kr
3-Pack - iPhone 13/13 Pro - Härdat Glas Skärmskydd Transparent iPhone 13/13 Pro
49 kr
Board Game Magnetic Chess Game Magnetic Board Game Fun Magnetic Board Game Puzzle Strategy Game Christmas Gift for Kids
99 kr
2-pack - Laddare för iPhone - Snabbladdare - Adapter + Kabel 20W Vit 2-pack iPhone
165 kr
3st Härdat glas iPhone 11 Skärmskydd Transparent
39 kr
3st Härdat glas iPhone 12 / 12 PRO - Skärmskydd Transparent
45 kr
Alien uppblåsbar kostym för Halloween Cosplay Cosplay
297 kr
Nabila uppblåsbar utomjordisk dräkt för barn, för Halloween, cosplay, fin dräkt grön
287 kr
3-Pack iPhone 16 Pro Härdat Glas Skärmskydd
39 kr
Lugnande Koalabjörn, Sovande Otter, Ångestlindrande Koala, Andningsotter, Bärbar Plyschleksak med Musik, Ljus och Rytmisk Andningsrörelse
165 kr