Passer au contenu principal Passer au contenu du pied de page

Model Checking, Second Edition

Edmund M. Clarke , Orna Grumberg , Daniel Kroening

4 décembre 2018

99,00 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 495 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

424

Cyber Physical Systems Series

Publié par: MIT Press

Dimensions à l’expédition: 9" H x 7" W x 1" L

ISBN: 9780262038836

Physics of Digital Photography (Second Edition)

Andy Rowlands Couverture rigide
205,00 $
Physics of Digital Photography (Second Edition)

Andy Rowlands Livre numérique Kobo
174,99 $ ~~Réduction sur le prix courant 217,78 $ à~~
Adobe Photoshop Elements Advanced Editing Techniques and Tricks: The Essential Guide to Going Beyond Guided Edits

Ted Padova Livre numérique Kobo
37,99 $ ~~Réduction sur le prix courant 47,49 $ à~~
Adobe Photoshop Elements Advanced Editing Techniques and Tricks: The Essential Guide to Going Beyond Guided Edits

Ted Padova Couverture souple
49,99 $
APPLE iPAD MINI 5 USER GUIDE: The Complete Illustrated, Practical Guide to Maximizing Your Apple iPad Mini 5

Daniel Smith Couverture souple
17,95 $
Windows 10: installation et configuration

Philippe Païola Couverture souple
49,95 $
Tableau Desktop Pocket Reference: Essential Features, Syntax, And Data Visualizations

Ryan Sleeper Couverture souple
37,99 $
2 formats offerts
Practical Tableau: 100 Tips, Tutorials, And Strategies From A Tableau Zen Master

Ryan Sleeper Couverture souple
74,99 $
2 formats offerts
Tableaux de bord: pilotez vos informations pour optimiser la prise de décision avec Excel (versions Microsoft 365, 2019, 2021)

Jean-François Rieu Couverture souple
34,95 $
Practical Azure Functions: A Guide To Web, Mobile, And Iot Applications

Agus Kurniawan Couverture souple
87,95 $
2 formats offerts
Windows 11: installation et configuration

Yann Bardot Couverture souple
44,95 $
A Manual of Composition and Rhetoric: A Text-Book for Schools and Colleges - Primary Source Edition

John Seely Hart Couverture souple
39,99 $
Big Data and Hadoo - 2nd Edition: Fundamentals, tools, and techniques for data-driven success (English Edition)

Mayank Bhushan Livre numérique Kobo
21,99 $ ~~Réduction sur le prix courant 27,33 $ à~~
Outlook 2016: livre, le guide complet

ENI Couverture souple
44,95 $
Adobe Photoshop Elements User Guide 2024: A fascinating Guide with all the nitty-gritty for Effective Usage

Zion Peace Couverture souple
22,50 $
Data Modeling with Tableau: A practical guide to building data models using Tableau Prep and Tableau Desktop

Kirk Munroe Couverture souple
56,99 $
2 formats offerts
Sap Erp Financials [Cancelled: Quick Reference Guide

V. Narayanan Couverture rigide
68,50 $
Initiation à l'informatique: Windows 10, Word 2019, Excel 2019, Outlook 2019 et Microsoft Edge

ENI Couverture souple
19,95 $
Machine Learning in Java, Second Edition

Ashishsingh Bhatia Couverture souple
53,99 $
2 formats offerts
Neo4j Graph Data Modeling

Mahesh Lal Couverture souple
39,99 $
2 formats offerts

Évaluation éditoriale

Auteur

Classics from Papyrus to the Internet: An Introduction to Transmission and Reception

Jeffrey M. Hunt Couverture souple
36,95 $
3 formats offerts
Karl Abraham: The Birth of Object Relations Theory

Isabel Sanfeliu Livre numérique Kobo
75,99 $
2 formats offerts
Information Retrieval: Implementing And Evaluating Search Engines

Stefan Buttcher Couverture souple
66,00 $
The Ethics of Personal Data Collection in International Relations: Inclusionism in the Time of COVID-19

Couverture souple
46,99 $
3 formats offerts
Self-determined Learning Theory: Construction, Verification, And Evaluation

Deirdre K. Mithaug Couverture souple
102,50 $
3 formats offerts
Badiou And His Interlocutors: Lectures, Interviews And Responses

Alain Badiou Couverture souple
53,95 $
3 formats offerts
Privacy And Technologies Of Identity: A Cross-disciplinary Conversation

Katherine J. Strandburg Couverture rigide
248,50 $
Retirement Migration From The U.s. To Latin American Colonial Cities

Philip D. Sloane Couverture rigide
160,95 $
2 formats offerts
Metacommunity Ecology

Mathew A. Leibold Couverture rigide
89,00 $
3 formats offerts
Designing Vlsi Network Nodes to Reduce Memory Traffic in a Shared Memory Parallel Computer (Classic Reprint)

Susan Dickey Couverture souple
7,97 $
3 formats offerts
Stochastic Processes And Functional Analysis: In Celebration Of M.m. Rao's 65th Birthday

Couverture souple
396,25 $
2 formats offerts
The Road since Structure: Philosophical Essays, 1970-1993, with an Autobiographical Interview

Thomas S. Kuhn Couverture souple
44,50 $
International Guide to Export Controls and Economic Sanctions, Second Edition

Couverture souple
428,99 $
2 formats offerts
Personal Data Collection Risks in a Post-Vaccine World

Couverture souple
46,99 $
3 formats offerts
Job/Security: A Composite Portrait of the Expanding American Security Industry

Daniel Goodwin Couverture rigide
53,95 $
People With Disabilities: Sidelined Or Mainstreamed?

Lisa Schur Couverture souple
47,95 $
2 formats offerts
Video Mining

Azriel Rosenfeld Couverture souple
248,50 $
2 formats offerts
Internationalization and Imprints of the Pandemic on Higher Education Worldwide

Couverture rigide
192,99 $
2 formats offerts
The Independence Of The Media And Its Regulatory Agencies: Shedding New Light On Formal And Actual Independence Against The National Context

Couverture souple
46,50 $
2 formats offerts
Antennas with Non-Foster Matching Networks

James T Aberle Couverture souple
38,95 $