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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 494 b
72 095 Ft
In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Book Paperback
common.buy 2 568 Ft
AUDI RS C. Bergander / Book Book
common.buy 24 839 Ft
Gréčtina konverzácia collegium / Book Paperback
common.buy 2 978 Ft
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Book Paperback
common.buy 12 403 Ft
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Book Paperback
common.buy 10 608 Ft
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Book binding.
common.buy 9 485 Ft
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Book Book
common.buy 8 013 Ft
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Book Paperback
common.buy 5 909 Ft
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Book Paperback
common.buy 3 617 Ft
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio Audio CD
common.buy 15 307 Ft
Sezóna pokušenia Ľubica Mesarošová / Book Hardback
common.buy 847 Ft
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Book Paperback
common.buy 18 902 Ft
Die Königin der Weißen Rose Philippa Gregory / Book Paperback
common.buy 4 216 Ft
Baustatik in Beispielen Konstantin Meskouris / Book Paperback
common.buy 28 985 Ft
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Book Paperback
common.buy 10 433 Ft
Mysterium Rob Wilson / Book Paperback
common.buy 4 657 Ft
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Book Paperback
common.buy 10 332 Ft
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Book Paperback
common.buy 25 382 Ft
Frau fuhrt Regie Karin Martensen / Book Paperback
common.buy 18 607 Ft
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Book Paperback
common.buy 54 261 Ft
Zimní a vánoční písně 1 / Book Paperback
common.buy 1 970 Ft
SIMD Processing for Software Defined Radio Peter Westermann / Book Paperback
common.buy 30 909 Ft
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Book Paperback
common.buy 20 361 Ft
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Book Paperback
common.buy 17 659 Ft

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

American Family Catherine Marshall-Smith / Book Paperback
common.buy 5 546 Ft
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Book Hardback
common.buy 54 510 Ft
MZ ETZ Models (81 - 95) Mark Coombs / Book Paperback
common.buy 15 629 Ft
Be Still and Know Millie Stamm / Book Paperback
common.buy 5 693 Ft
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 18 156 Ft
Day The Mountain Cried Robert L Skidmore / Book Hardback
common.buy 9 251 Ft
Berenstain Bears and Too Much TV Jan Berenstain / Book Paperback
common.buy 2 131 Ft
1849 .. M D Likhutin / Book Paperback
common.buy 8 919 Ft
They Slept Upon Their Rifles Marshall E Kuykendall / Book Hardback
common.buy 14 930 Ft
Absent in the Spring Mary Westmacott / Book Paperback
common.buy 4 059 Ft
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Book Hardback
common.buy 17 424 Ft
Archaeology of the Communist Era Ludomir R. Lozny / Book Hardback
common.buy 47 404 Ft
Today Ruby Will Be a Princess Paula Croyle / Book Hardback
common.buy 8 988 Ft
REVOLUTIONARY TYPES IDA A. TAYLOR / Book Paperback
common.buy 10 595 Ft
Death of an Elgin Marble David Dickinson / Book Paperback
common.buy 3 765 Ft
Gateway to the Christian College Experience J Randolph Turpin Jr / Book Paperback
common.buy 5 647 Ft
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Book Paperback
common.buy 6 333 Ft
Public Transit Operations: The Strategic Professional Chester Patton / Book Paperback
common.buy 4 975 Ft
Cezanne and the Post-Bionian Field Robert Snell / Book Paperback
common.buy 19 818 Ft
Top
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Book Paperback
common.buy 6 627 Ft
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Book Paperback
common.buy 34 881 Ft
Black or White, Vol. 11 V11 / Book Paperback
common.buy 4 128 Ft
China, Japan and Regional Leadership in East Asia Christopher M Dent / Book Hardback
common.buy 62 725 Ft
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Book Paperback
common.buy 17 088 Ft

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?