Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Integrated Formal Methods

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

Limba englezăengleză
Carte Carte broșată
Carte Integrated Formal Methods Nadia Polikarpova
Codul Libristo: 16803868
Editura Springer International Publishing AG, august 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Carte Carte broșată
common.buy 193.38 lei
La sagesse divine des animaux Stacey Demarco / Carte Copertă tare
common.buy 162.42 lei
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Carte Carte broșată
common.buy 111.75 lei
Au Bord Du Lac (1852) Emile Souvestre / Carte Carte broșată
common.buy 163.88 lei
Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Carte Carte broșată
common.buy 163.88 lei
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Carte Carte broșată
common.buy 151.58 lei
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 123.74 lei
El silenci de les cases MARIA SANPLA / Carte Carte broșată
common.buy 83.18 lei
Leonardo Martin Kemp / Carte Carte broșată
common.buy 77.76 lei
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 / Carte Carte broșată
common.buy 110.71 lei
Lumieres Et Romantisme M. Castillo / Carte Carte broșată
common.buy 150.85 lei

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..

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Integrated Formal Methods
Autor Nadia Polikarpova, Steve Schneider
Limba engleză
Legare Carte - Carte broșată
Data publicării 2017
Număr pagini 438
EAN 9783319668444
ISBN 3319668447
Codul Libristo 16803868
Editura Springer International Publishing AG
Greutatea 6905
Dimensiuni 155 x 235 x 26

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Creatures of Old Prasad / Audiobook MP3
common.buy 20.84 lei
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Carte Carte broșată
common.buy 169.09 lei
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Carte Carte broșată
common.buy 1 217.48 lei
The Itsy Bitsy Spider Flowerpot Press / Carte Cărți pliante
common.buy 47.95 lei
Illustrated Guide to Chemistry JEFF GRANT / Carte Carte broșată
common.buy 112.06 lei
Taking A Long Look Vivian Gornick / Carte Copertă tare
common.buy 116.55 lei
The Case of The Stolen Case Carl Brookins / Carte Carte broșată
common.buy 76.62 lei
Undying Destiny Jessica Lee / Audiobook MP3
common.buy 105.29 lei
Capybara Zen Helen H. Wu / Carte Carte broșată
common.buy 38.88 lei
Let Me Tell You A Story Rob Parsons / Carte Copertă tare
common.buy 99.87 lei
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Carte Copertă tare
common.buy 64.00 lei
Leftin
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Materiale tipărite Cărți
common.buy 183.69 lei
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Carte Carte broșată
common.buy 79.43 lei
Writing for Interaction Linda Newman Lior / Carte Carte broșată
common.buy 272.93 lei
Parenting with Presence Susan Stiffelman / Carte Carte broșată
common.buy 75.78 lei
Real-Life Distance Education Al P. Mizell / Carte Copertă tare
common.buy 690.99 lei
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Carte Carte broșată
common.buy 153.45 lei
British Culture of the Post-War Alastair Davies / Carte Carte broșată
common.buy 338.71 lei
Cloud Computing for Teaching and Learning Lee Chao / Carte Copertă tare
common.buy 974.98 lei
Community Identity Sebastian Kim / Carte Carte broșată
common.buy 569.43 lei
Euro Crash Brendan Brown / Carte Copertă tare
common.buy 601.65 lei
Curând
Creating Belfast Don McCloy / Carte Carte broșată
common.buy 118.94 lei
Wonder Island Boys Roger Thompson Finlay / Carte Carte broșată
common.buy 89.86 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?