Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Language EnglishEnglish
Book Hardback
Book Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Libristo code: 01019063
Publishers Princeton University Press, April 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Full description
? points 463 b
191.76 €
375.06  лв
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Book Paperback
common.buy 15.56 € 30.43 лв
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Book Paperback
common.buy 10.84 € 21.19 лв
Deteccion Automatica de Eventos en Senales Cardiopulmonares Daniel Maurício Viana de Souza / Book Paperback
common.buy 54.82 € 107.22 лв
Sezóna pokušenia Ľubica Mesarošová / Book Hardback
common.buy 2.59 € 5.06 лв
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Book binding.
common.buy 25.46 € 49.80 лв
L'Homme qui rêvait d'être Dexter Stéphane Bourgoin / Book Paperback
common.buy 26.03 € 50.92 лв
La Gnose René GUENON / Book Paperback
common.buy 56.64 € 110.77 лв
A medio siglo de "El malestar en la cultura" de Sigmund Freud Braunstein / Book binding.
common.buy 23.60 € 46.15 лв
Top
Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Book Paperback
common.buy 7.05 € 13.79 лв
AUDI RS C. Bergander / Book Book
common.buy 73.19 € 143.14 лв
Gréčtina konverzácia collegium / Book Paperback
common.buy 9.02 € 17.64 лв
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Book Paperback
common.buy 34.13 € 66.75 лв
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Book Paperback
common.buy 31.33 € 61.27 лв
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Book Book
common.buy 23.18 € 45.34 лв
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Book Paperback
common.buy 26.76 € 52.34 лв
Auf Digitalen Pfaden Waldemar Vogelgesang / Book Paperback
common.buy 49.95 € 97.69 лв
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Book Paperback
common.buy 52.49 € 102.66 лв
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Book Paperback
common.buy 56.07 € 109.66 лв
SIMD Processing for Software Defined Radio Peter Westermann / Book Paperback
common.buy 84.96 € 166.17 лв
Zimní a vánoční písně 1 / Book Paperback
common.buy 6.32 € 12.37 лв
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Book Paperback
common.buy 149.38 € 292.17 лв
Frau fuhrt Regie Karin Martensen / Book Paperback
common.buy 51.09 € 99.92 лв
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Book Paperback
common.buy 69.87 € 136.65 лв
Mysterium Rob Wilson / Book Paperback
common.buy 13.38 € 26.16 лв

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computer-Aided Verification of Coordinating Processes
Author Robert P. Kurshan
Language English
Binding Book - Hardback
Date of issue 2016
Number of pages 284
EAN 9780691634890
ISBN 9780691634890
Libristo code 01019063
Publishers Princeton University Press
Weight 567
Dimensions 152 x 229 x 20

Categories

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Complex analysis, complex variables
Technology, Engineering, Agriculture > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM)
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)
Technology, Engineering, Agriculture > Industrial chemistry & manufacturing technologies
Computing & Information Technology > Computer science
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Complete Works of W. H. Auden, Volume 1 W. H. Auden / Book Hardback
common.buy 124.33 € 243.17 лв
American Family Catherine Marshall-Smith / Book Paperback
common.buy 14.31 € 27.99 лв
MZ ETZ Models (81 - 95) Mark Coombs / Book Paperback
common.buy 44.40 € 86.83 лв
Be Still and Know Millie Stamm / Book Paperback
common.buy 14.83 € 29.01 лв
REVOLUTIONARY TYPES IDA A. TAYLOR / Book Paperback
common.buy 27.95 € 54.67 лв
PIERRE AND LUC Romain Rolland / Book Hardback
common.buy 35.53 € 69.48 лв
The Life Of George Washington: Commander In Chief Of The Armies Of The United States Of America, Throughout The War Which Established Their Independen David Ramsay / Book Hardback
common.buy 47.87 € 93.63 лв
Berenstain Bears and Too Much TV Jan Berenstain / Book Paperback
common.buy 5.91 € 11.56 лв
1849 .. M D Likhutin / Book Paperback
common.buy 23.03 € 45.03 лв
They Slept Upon Their Rifles Marshall E Kuykendall / Book Hardback
common.buy 39.37 € 76.99 лв
Absent in the Spring Mary Westmacott / Book Paperback
common.buy 11.46 € 22.41 лв
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Book Hardback
common.buy 45.90 € 89.77 лв
Archaeology of the Communist Era Ludomir R. Lozny / Book Hardback
common.buy 130.61 € 255.45 лв
Today Ruby Will Be a Princess Paula Croyle / Book Hardback
common.buy 23.18 € 45.34 лв
Day The Mountain Cried Robert L Skidmore / Book Hardback
common.buy 23.91 € 46.76 лв
Death of an Elgin Marble David Dickinson / Book Paperback
common.buy 10.21 € 19.98 лв
Gateway to the Christian College Experience J Randolph Turpin Jr / Book Paperback
common.buy 14.83 € 29.01 лв
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Book Paperback
common.buy 16.59 € 32.45 лв
Public Transit Operations: The Strategic Professional Chester Patton / Book Paperback
common.buy 13.12 € 25.66 лв
Cezanne and the Post-Bionian Field Robert Snell / Book Paperback
common.buy 55.60 € 108.75 лв
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Book Paperback
common.buy 18.82 € 36.82 лв
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Book Paperback
common.buy 96.01 € 187.78 лв
The Count of the Saxon Shore, Ruth Putnam / Book Hardback
common.buy 34.54 € 67.56 лв
Top
Black or White, Vol. 11 V11 / Book Paperback
common.buy 10.68 € 20.89 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?