Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer-Aided Verification of Coordinating Processes

The Automata-Theoretic Approach

Język AngielskiAngielski
Książka Twarda
Książka Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Kod Libristo: 01019063
Wydawnictwo Princeton University Press, kwiecień 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Cały opis
? points 324 b
568.97 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Leselöwen Lesetraining 1. Klasse - Ein Stern für das kleine Einhorn Naeko Ishida / Książka Miękka
common.buy 28.67 zł
AUDI RS C. Bergander / Książka Książka
common.buy 298.71 zł
Gréčtina konverzácia collegium / Książka Miękka
common.buy 35.81 zł
Análisis comparativo de la vulnerabilidad al cambio climático en función del género / Książka Miękka
common.buy 136.42 zł
Blackforest: El secreto de la estirpe abominable ALBRIGHT / Książka Miękka
common.buy 128.17 zł
Hungary - (angol-német-francia-olasz-spanyol-magyar nyelvű) Hajni István; Kolozsvári Ildikó / Książka binding.
common.buy 102.21 zł
LA DESOBEDIENCIA DE LAS PALABRAS MESTRE / Książka Książka
common.buy 94.17 zł
de l'Envahissement Ganglionnaire Dans Le Cancer de la Prostate MACAIRE-J / Książka Miękka
common.buy 65.99 zł
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Książka Miękka
common.buy 43.56 zł
Hörverstehen, 4 Audio-CDs. Tl.1 Thomas Storz / Audio CD Audio
common.buy 184.21 zł
Sezóna pokušenia Ľubica Mesarošová / Książka Twarda
common.buy 10.15 zł
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Książka Miękka
common.buy 227.38 zł
Die Königin der Weißen Rose Philippa Gregory / Książka Miękka
common.buy 46.58 zł
Baustatik in Beispielen Konstantin Meskouris / Książka Miękka
common.buy 320.35 zł
Cultura y modernidad : perspectivas filosóficas de Oriente y Occidente Karl-Otto Apel / Książka Miękka
common.buy 125.96 zł
Mysterium Rob Wilson / Książka Miękka
common.buy 55.63 zł
Lettres Sur l'Orient, Ecrites Pendant Les Annees 1827 Et 1828. Tome 1 De Bussierre-M-T / Książka Miękka
common.buy 115.70 zł
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Książka Miękka
common.buy 280.50 zł
Frau fuhrt Regie Karin Martensen / Książka Miękka
common.buy 204.74 zł
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Książka Miękka
common.buy 599.75 zł
Zimní a vánoční písně 1 / Książka Miękka
common.buy 22.33 zł
SIMD Processing for Software Defined Radio Peter Westermann / Książka Miękka
common.buy 339.97 zł
Technik in Der Literatur Der Fr hen Moderne Tessy Korber / Książka Miękka
common.buy 225.47 zł
Der Einfluss der Ladengestaltung auf die Zufriedenheit der Kund/innen Katharina Bedek / Książka Miękka
common.buy 212.29 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer-Aided Verification of Coordinating Processes
Autor Robert P. Kurshan
Język Angielski
Oprawa Książka - Twarda
Data wydania 2016
Liczba stron 284
EAN 9780691634890
ISBN 9780691634890
Kod Libristo 01019063
Wydawnictwo Princeton University Press
Waga 567
Wymiary 152 x 229 x 20

Kategoria

Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Analiza zespolona, zmienne zespolone
Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria mechaniczna i materiałowa > Produkcja i inżynieria przemysłowa > Komputerowe wspomaganie wytwarzania (CAM)
Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Projektowanie wspomagane komputerowo (CAD)
Technika, inżynieria i rolnictwo, procesy przemysłowe > Chemia przemysłowa i inżynieria produkcji
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

American Family Catherine Marshall-Smith / Książka Miękka
common.buy 60.76 zł
Demystifying Meaningful Coincidences (Synchronicities) Gibbs A. Williams / Książka Twarda
common.buy 593.42 zł
MZ ETZ Models (81 - 95) Mark Coombs / Książka Miękka
common.buy 177.67 zł
Be Still and Know Millie Stamm / Książka Miękka
common.buy 62.87 zł
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 / Książka Twarda
common.buy 202.83 zł
Day The Mountain Cried Robert L Skidmore / Książka Twarda
common.buy 101.31 zł
TOP
Berenstain Bears and Too Much TV Jan Berenstain / Książka Miękka
common.buy 23.33 zł
1849 .. M D Likhutin / Książka Miękka
common.buy 97.49 zł
They Slept Upon Their Rifles Marshall E Kuykendall / Książka Twarda
common.buy 166.81 zł
Absent in the Spring Mary Westmacott / Książka Miękka
common.buy 45.97 zł
Treatise on the Criminal Law as Now Administered in the United States, Volume 2 Emlin McClain / Książka Twarda
common.buy 194.58 zł
Archaeology of the Communist Era Ludomir R. Lozny / Książka Twarda
common.buy 524.90 zł
Today Ruby Will Be a Princess Paula Croyle / Książka Twarda
common.buy 98.29 zł
REVOLUTIONARY TYPES IDA A. TAYLOR / Książka Miękka
common.buy 118.31 zł
Death of an Elgin Marble David Dickinson / Książka Miękka
common.buy 49.49 zł
Gateway to the Christian College Experience J Randolph Turpin Jr / Książka Miękka
common.buy 62.87 zł
Hebrew vocabulary for English speakers - 9000 words Andrey Taranov / Książka Miękka
common.buy 70.42 zł
Public Transit Operations: The Strategic Professional Chester Patton / Książka Miękka
common.buy 55.53 zł
Cezanne and the Post-Bionian Field Robert Snell / Książka Miękka
common.buy 222.65 zł
TOP
Cambridge Lower Secondary Complete Physics: Workbook (Second Edition) Helen Reynolds / Książka Miękka
common.buy 67.60 zł
Sustainability Challenges in Sub-Saharan Africa I Abubakari Ahmed / Książka Miękka
common.buy 385.44 zł
Black or White, Vol. 11 V11 / Książka Miękka
common.buy 45.27 zł
China, Japan and Regional Leadership in East Asia Christopher M Dent / Książka Twarda
common.buy 755.91 zł
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Książka Miękka
common.buy 190.86 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?