phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Computer-Aided Verification of Coordinating Processes

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Computer-Aided Verification of Coordinating Processes Robert P. Kurshan
Libristo kód: 01019063
Kiadó Princeton University Press, április 2016
Formal verification increasingly has become recognized as an answer to the problem of how to create... Teljes leírás
? points 474 b
75 016 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Berenstain Bears and Too Much TV Jan Berenstain / Puha kötésű
common.buy 2 406 Ft
Zimní a vánoční písně 1 / Puha kötésű
common.buy 1 773 Ft
Gréčtina konverzácia collegium / Puha kötésű
common.buy 3 338 Ft
Vývoj krajiny Novodvorska a Žehušicka ve středních Čechách Zdeněk Lipský / Puha kötésű
common.buy 3 925 Ft
Die Königin der Weißen Rose Philippa Gregory / Puha kötésű
common.buy 4 432 Ft
Sezóna pokušenia Ľubica Mesarošová / Kemény kötésű
common.buy 1 251 Ft
Grundkurs Microsoft Dynamics Ax Andreas Luszczak / Puha kötésű
common.buy 33 023 Ft
Developing the Virtues Julia Annas / Kemény kötésű
common.buy 56 185 Ft
1849 .. M D Likhutin / Puha kötésű
common.buy 11 011 Ft
American Grand Strategy and Corporate Elite Networks Bastiaan van Apeldoorn / Kemény kötésű
common.buy 91 391 Ft
Exploring Services Science Jean-Henry Morin / Puha kötésű
common.buy 24 397 Ft
Frau fuhrt Regie Karin Martensen / Puha kötésű
common.buy 28 688 Ft
Betriebsprobleme auf Kläranlagen durch Blähschlamm, Schwimmschlamm, Schaum, 1 S. Kunst / Puha kötésű
common.buy 69 637 Ft
Baustatik in Beispielen Konstantin Meskouris / Puha kötésű
common.buy 38 321 Ft
Be Still and Know Millie Stamm / Puha kötésű
common.buy 5 997 Ft
Rechtsstaat oder Ausnahmezustand? Wolfgang Hetzer / Puha kötésű
common.buy 21 060 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

Információ a könyvről

Teljes megnevezés Computer-Aided Verification of Coordinating Processes
Szerző Robert P. Kurshan
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2016
Oldalszám 284
EAN 9780691634890
ISBN 9780691634890
Libristo kód 01019063
Kiadó Princeton University Press
Súly 567
Méretek 152 x 229 x 20

Kategória

Matematika és természettudomány > Matematika > Kalkulus és matematikai analízis > Komplex analízis és komplex változók
Technológia, mérnöki tudományok, mezőgazdaság > Mechanikai gépészet és anyagok > Termelésgépészet > Számítógép által segített gyártás (CAM)
Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet
Matematika és természettudomány > Matematika > Diszkrét matematika
Számítástechnika és információtechnológia > Grafikus és digitális média > Számítógép által segített tervezés / dizájn (CAD)
Technológia, mérnöki tudományok, mezőgazdaság > Ipari kémiai és gyártási technológiák
Számítástechnika és információtechnológia > Számítógéptudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása