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

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Nadia Polikarpova
Libristo kód: 16803868
Kiadó Springer International Publishing AG, augusztus 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Teljes leírás
? points 136 b
19 818 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

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Könyv Puha kötésű
common.buy 13 001 Ft
La sagesse divine des animaux Stacey Demarco / Könyv Kemény kötésű
common.buy 10 931 Ft
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Könyv Puha kötésű
common.buy 7 723 Ft
Au Bord Du Lac (1852) Emile Souvestre / Könyv Puha kötésű
common.buy 11 326 Ft
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Könyv Puha kötésű
common.buy 11 326 Ft
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Könyv Puha kötésű
common.buy 10 493 Ft
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Hanganyagok Audio CD
common.buy 8 523 Ft
El silenci de les cases MARIA SANPLA / Könyv Puha kötésű
common.buy 5 297 Ft
Leonardo Martin Kemp / Könyv Puha kötésű
common.buy 5 224 Ft
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Könyv Puha kötésű
common.buy 7 442 Ft
Lumieres Et Romantisme M. Castillo / Könyv Puha kötésű
common.buy 10 157 Ft

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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ő Nadia Polikarpova, Steve Schneider
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2017
Oldalszám 438
EAN 9783319668444
ISBN 3319668447
Libristo kód 16803868
Kiadó Springer International Publishing AG
Súly 6905
Méretek 155 x 235 x 26

Kategória

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 > Mesterséges intelligencia
Számítástechnika és információtechnológia > Információtechnológia: általános jellegű
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció
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

Creatures of Old Prasad / Hangoskönyv MP3
common.buy 1 399 Ft
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Könyv Puha kötésű
common.buy 11 676 Ft
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Könyv Puha kötésű
common.buy 84 034 Ft
The Itsy Bitsy Spider Flowerpot Press / Könyv Leporelló
common.buy 3 327 Ft
Illustrated Guide to Chemistry JEFF GRANT / Könyv Puha kötésű
common.buy 7 750 Ft
Taking A Long Look Vivian Gornick / Könyv Kemény kötésű
common.buy 8 114 Ft
The Case of The Stolen Case Carl Brookins / Könyv Puha kötésű
common.buy 5 311 Ft
Undying Destiny Jessica Lee / Hangoskönyv MP3
common.buy 7 138 Ft
Capybara Zen Helen H. Wu / Könyv Puha kötésű
common.buy 2 715 Ft
Let Me Tell You A Story Rob Parsons / Könyv Kemény kötésű
common.buy 6 190 Ft
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Könyv Kemény kötésű
common.buy 4 450 Ft
Olcsón
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Nyomtatványok Kártya
common.buy 12 348 Ft
Toplistás
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Könyv Puha kötésű
common.buy 5 693 Ft
Writing for Interaction Linda Newman Lior / Könyv Puha kötésű
common.buy 15 574 Ft
Parenting with Presence Susan Stiffelman / Könyv Puha kötésű
common.buy 5 270 Ft
Real-Life Distance Education Al P. Mizell / Könyv Kemény kötésű
common.buy 47 592 Ft
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Könyv Puha kötésű
common.buy 10 903 Ft
British Culture of the Post-War Alastair Davies / Könyv Puha kötésű
common.buy 23 352 Ft
Cloud Computing for Teaching and Learning Lee Chao / Könyv Kemény kötésű
common.buy 67 645 Ft
Community Identity Sebastian Kim / Könyv Puha kötésű
common.buy 40 192 Ft
Euro Crash Brendan Brown / Könyv Kemény kötésű
common.buy 41 522 Ft
Hamarosan
Creating Belfast Don McCloy / Könyv Puha kötésű
common.buy 7 999 Ft
Wonder Island Boys Roger Thompson Finlay / Könyv Puha kötésű
common.buy 6 231 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?