A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Michael Butler
Libristo kód: 01564333
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Teljes leírás
? points 136 b
19 928 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Könyv Puha kötésű
common.buy 21 779 Ft
Mein Gestern Manfred Jurgensen / Könyv Puha kötésű
common.buy 5 901 Ft
Neocortext Vojtěch Němec / Könyv Puha kötésű
common.buy 2 698 Ft
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Könyv Puha kötésű
common.buy 7 044 Ft
Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Könyv Kemény kötésű
common.buy 42 059 Ft
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Könyv Puha kötésű
common.buy 11 389 Ft
Apokalypse Adrienne von Speyr / Könyv Kemény kötésű
common.buy 15 263 Ft
Divan Ahmed Akir Paa / Könyv Puha kötésű
common.buy 7 396 Ft
Ser Feliz Era Esto Eduardo Sacheri / Könyv Puha kötésű
common.buy 7 016 Ft
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Könyv Puha kötésű
common.buy 17 582 Ft
Özel Tüketim Vergisi Kanunu / Könyv Puha kötésű
common.buy 5 840 Ft
Rumanische Marchen Mite Kremnitz / Könyv Puha kötésű
common.buy 9 025 Ft
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Könyv Puha kötésű
common.buy 20 474 Ft

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Integrated Formal Methods
Szerző Michael Butler, Luigia Petre, Kaisa Sere
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2002
Oldalszám 401
EAN 9783540437031
ISBN 3540437037
Libristo kód 01564333
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1280
Méretek 155 x 235 x 23

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Gépi tanulás
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
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

Ezt is ajánljuk

Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Könyv Puha kötésű
common.buy 3 184 Ft
Biotechnology Fundamentals Khan / Könyv Puha kötésű
common.buy 33 932 Ft
Olcsón
Spawn: Origins Deluxe Edition 3 Brian Holguin / Könyv Kemény kötésű
common.buy 19 474 Ft
Toplistás
Aesop's Fables Santore Charles / Könyv Kemény kötésű
common.buy 5 267 Ft
Sufism Alexander Knysh / Könyv Puha kötésű
common.buy 12 093 Ft
Frankissstein Jeanette Winterson / Könyv Puha kötésű
common.buy 5 313 Ft
Melchizedek: Unmasked Baal Kadmon / Könyv Puha kötésű
common.buy 5 692 Ft
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Könyv Puha kötésű
common.buy 21 529 Ft
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Könyv Puha kötésű
common.buy 12 843 Ft
The Critical Care Pocket Guide Sergio Niosi / Könyv Puha kötésű
common.buy 4 151 Ft
Konohana Kitan, Volume 2 Sakuya Amano / E-könyv Adobe ePub DRM
common.buy 2 805 Ft
Destroyer of the gods Larry W. Hurtado / E-könyv Adobe ePub DRM
common.buy 12 634 Ft
Toplistás
The Last Song of Penelope NORTH CLAIRE / Könyv Puha kötésű
common.buy 6 165 Ft
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Könyv Puha kötésű
common.buy 4 739 Ft
Crazy Sexy Diet Kris Carr / Könyv Puha kötésű
common.buy 8 599 Ft
Kgakantsho e Bohlale ya Leobu (Sepedi) Monika Hollemann / Könyv Puha kötésű
common.buy 2 027 Ft
Essential David Bohm Lee Nichol / Könyv Puha kötésű
common.buy 22 672 Ft
Dark Magic Christine Feehan / Könyv Puha kötésű
common.buy 4 508 Ft
Pandora's Box Trilogy Adam Teachout / Könyv Puha kötésű
common.buy 7 368 Ft
Political Thought and the Public Sphere in Tanzania Emma Hunter / Könyv Kemény kötésű
common.buy 48 608 Ft
Collected Short Stories Aldous Huxley / Könyv Puha kötésű
common.buy 8 437 Ft

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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?