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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.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 125 b
270.90 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

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.60 lei
LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Carte Carte broșată
common.buy 192.01 lei
La sagesse divine des animaux Stacey Demarco / Carte Copertă tare
common.buy 160.99 lei
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Carte Carte broșată
common.buy 111.56 lei
Au Bord Du Lac (1852) Emile Souvestre / Carte Carte broșată
common.buy 163.60 lei
Lumieres Et Romantisme M. Castillo / Carte Carte broșată
common.buy 149.54 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 99.28 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.31 lei
Leonardo Martin Kemp / Carte Carte broșată
common.buy 69.51 lei
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio Audio CD
common.buy 123.53 lei
El silenci de les cases MARIA SANPLA / Carte Carte broșată
common.buy 78.67 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

Wonder Island Boys Roger Thompson Finlay / Carte Carte broșată
common.buy 84.71 lei
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Carte Carte broșată
common.buy 75.86 lei
Leftin
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Materiale tipărite Cărți
common.buy 214.59 lei
Capybara Zen Helen H. Wu / Carte Carte broșată
common.buy 38.19 lei
Undying Destiny Jessica Lee / Audiobook MP3
common.buy 106.35 lei
Taking A Long Look Vivian Gornick / Carte Copertă tare
common.buy 111.35 lei
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Carte Carte broșată
common.buy 168.80 lei
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Carte Carte broșată
common.buy 1 214.96 lei
The Itsy Bitsy Spider Flowerpot Press / Carte Cărți pliante
common.buy 47.65 lei
Illustrated Guide to Chemistry JEFF GRANT / Carte Carte broșată
common.buy 111.87 lei
The Case of The Stolen Case Carl Brookins / Carte Carte broșată
common.buy 76.48 lei
Supremacy of Christ Richard McCarrell / Carte Carte broșată
common.buy 46.82 lei
Let Me Tell You A Story Rob Parsons / Carte Copertă tare
common.buy 89.91 lei
Writing for Interaction Linda Newman Lior / Carte Carte broșată
common.buy 230.83 lei
Curând
Creating Belfast Don McCloy / Carte Carte broșată
common.buy 118.74 lei
Euro Crash Brendan Brown / Carte Copertă tare
common.buy 600.08 lei
Community Identity Sebastian Kim / Carte Carte broșată
common.buy 568.44 lei
Cloud Computing for Teaching and Learning Lee Chao / Carte Copertă tare
common.buy 956.64 lei
British Culture of the Post-War Alastair Davies / Carte Carte broșată
common.buy 338.13 lei
Parenting with Presence Susan Stiffelman / Carte Carte broșată
common.buy 75.65 lei
Real-Life Distance Education Al P. Mizell / Carte Copertă tare
common.buy 689.80 lei
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Carte Copertă tare
common.buy 60.67 lei
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Carte Carte broșată
common.buy 153.19 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?