phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Computer-Aided Verification of Coordinating Processes

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 442 b
756.51 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-14 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Gréčtina konverzácia collegium / Miękka
common.buy 36.19 zł
Berenstain Bears and Too Much TV Jan Berenstain / Miękka
common.buy 24.32 zł
Zimní a vánoční písně 1 / Miękka
common.buy 19.19 zł
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Miękka
common.buy 42.52 zł
Die Königin der Weißen Rose Philippa Gregory / Miękka
common.buy 45.44 zł
Sezóna pokušenia Ľubica Mesarošová / Twarda
common.buy 10.25 zł
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Miękka
common.buy 341.45 zł
Developing the Virtues Julia Annas / Twarda
common.buy 612.03 zł
Content Marketing for Nonprofits - A Communications Map for Engaging Your Community, Becoming a Favorite Cause, and Raising More Money Kivi Leroux Miller / Miękka
common.buy 195.66 zł
1849 .. M D Likhutin / Miękka
common.buy 113.11 zł
Frau fuhrt Regie Karin Martensen / Miękka
common.buy 295.10 zł
American Grand Strategy and Corporate Elite Networks Bastiaan van Apeldoorn / Twarda
common.buy 914.48 zł
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Miękka
common.buy 720.22 zł
Exploring Services Science Jean-Henry Morin / Miękka
common.buy 252.27 zł
Be Still and Know Millie Stamm / Miękka
common.buy 61.02 zł
Baustatik in Beispielen Konstantin Meskouris / Miękka
common.buy 363.57 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

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

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