SPIN Model Checker, The: Primer and Reference Manual - Gerard Holzmann - Bøker - Pearson Education (US) - 9780321773715 - 13. juni 2011

Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Fortell venner om denne varen:

Gerard Holzmann
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann

Har du en profil? Logg inn

Få varsel om nye utgivelser fra Gerard Holzmann

Kundene våre sier:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dages returrett

Toppvurdering på Trustpilot

Legg til iMusic ønskeliste

eller

Ikke vurdert ennå

SPIN Model Checker, The: Primer and Reference Manual

Gerard Holzmann

608 pages

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	13. juni 2011
ISBN13	9780321773715
Utgivere	Pearson Education (US)
Antall sider	608
Mål	180 × 232 × 31 mm · 1,04 kg
Språk	Engelsk

Mer fra samme utgiver

Pocketbok
3. utgave

TCP/IP Illustrated, Volume 1: Th... (2028)
Kevin Fall

Slippes 6. april 2028
Pocketbok

Enterprise SRE: Site Reliability... (2028)
Niall Murphy

Slippes 6. april 2028
Pocketbok

A Hands-on Roadmap for Data Prod... (2028)
Irina Kukuyeva

Slippes 6. april 2028
Pocketbok
6. utgave

Unix and Linux System Administra... (2028)
Evi Nemeth

Slippes 6. april 2028
Pocketbok

Learn JavaScript the Hard Way - ... (2028)
Zed Shaw

Slippes 6. april 2028
Pocketbok

Bayesian Data Science with Pytho... (2028)
Eric Ma

Slippes 6. april 2028
Pocketbok
1. utgave

DIY AI: Step-by-Step Artificial ... (2028)
Serg Masis

Slippes 6. april 2028
Pocketbok
4. utgave

UNIX and Linux Network Programming (2028)
George Neville-Neil

Slippes 6. april 2028
Pocketbok

Implementing Strategic Monoliths... (2028)
Vaughn Vernon

Slippes 6. april 2028
Pocketbok
2. utgave

Building Data Centers with VXLAN... (2028)
Lukas Krattiger

Slippes 8. mars 2028
Pocketbok

CCIE Data Center Infrastructure ... (2027)
Vinit Jain

Slippes 7. april 2027
Pocketbok

Patterns in Reliability (2027)
Salim Virji

Slippes 25. mars 2027
Pocketbok
1. utgave

Programming Generative AI: Large... (2027)
Jonathan Dinu

Slippes 24. mars 2027
Pocketbok
2. utgave

Python for Programmers, 2nd Edit... (2027)
Paul Deitel

Slippes 22. mars 2027
Pocketbok

Multi-Vendor Data Centers: Cisco... (2027)
Aninda Chatterjee

Slippes 18. mars 2027
Pocketbok

Kubernetes Everywhere: Managing ... (2027)
Christopher Negus

Slippes 11. mars 2027
Pocketbok

Empathy-Driven Software Developm... (2027)
Andrea Goulet

Slippes 8. mars 2027
Pocketbok
1. utgave

Software Design in the Age of AI... (2027)
Yuanfang Cai

Slippes 8. mars 2027
Pocketbok
3. utgave

R for Everyone: Advanced Analyti... (2027)
Jared Lander

Slippes 8. mars 2027
Pocketbok
5. utgave

Chemical Process Safety: Fundame... (2027)
Daniel Crowl

Slippes 7. mars 2027
Pocketbok
2. utgave

Microsoft Windows 11 Inside Out,... (2027)
Ed Bott

Slippes 1. mars 2027
Pocketbok

Large-Scale C++ Volume II: Desig... (2027)
John Lakos

Slippes 20. februar 2027
Pocketbok

C++ Allocators for the Working P... (2027)
John Lakos

Slippes 20. februar 2027
Pocketbok
2. utgave

Continuous Delivery: Reliable So... (2027)
Jez Humble

Slippes 7. februar 2027
Pocketbok

Adobe Illustrator Classroom in a... (2027)
Brian Wood

Slippes 22. januar 2027
Pocketbok

Adobe Photoshop Classroom in a Book (2027)
Conrad Chavez

Slippes 22. januar 2027
Pocketbok

Adobe InDesign Classroom in a Book (2027)
Kelly Anton

Slippes 22. januar 2027
Pocketbok

Engineering Agentic AI (2027)
Ed Donner

Slippes 21. januar 2027
Pocketbok

The Lean AI Handbook: Building, ... (2027)
Ken Johnston

Slippes 20. januar 2027
Pocketbok
1. utgave

Software as a Product: Bridging ... (2027)
Steffen Hartmann

Slippes 6. januar 2027
Pocketbok

Design for How People Build Skills (2027)
Julie Dirksen

Slippes 5. januar 2027
Pocketbok

Discovering AutoCAD 2027 (2027)
Mark Dix

Slippes 5. januar 2027

Se alt med Gerard Holzmann

Gerard Holzmann SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann

SPIN Model Checker, The: Primer and Reference Manual

Gerard Holzmann

Mer fra samme **utgiver**

Gerard Holzmann
SPIN Model Checker, The: Primer and Reference Manual Gerard Holzmann

Mer fra samme utgiver