Povej prijatelju o tem izdelku:
Modal and Temporal Properties of Processes - Texts in Computer Science Colin Stirling Softcover reprint of the original 1st ed. 2001 edition
Cena
€ 48,99
Naročeno iz oddaljenega skladišča
Predvidena dobava 9. - 17. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Colin Stirling
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
Modal and Temporal Properties of Processes - Texts in Computer Science
Colin Stirling
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
203 pages, 2 black & white illustrations
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 9. oktobra 2011 |
| ISBN13 | 9781441931535 |
| Založniki | Springer-Verlag New York Inc. |
| Strani | 191 |
| Dimenzije | 253 × 180 × 18 mm · 362 g |
| Jezik | Angleščina |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-hardcover-book&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602583)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2026-computational-methods-in-synthetic-biology-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602614)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2026-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602568)
![Cover for Ewing Sarcoma: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/863/9781071655863.jpg?2026-ewing-sarcoma-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602610)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/542/9781071655542.jpg?2026-atomic-force-microscopy-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1791812257)
![Cover for RNA Remodeling Proteins: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/702/9781071655702.jpg?2026-rna-remodeling-proteins-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602627)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790604482)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-hardcover-book&class=scaled&v=1788180241)
