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

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Integrated Formal Methods Elvira Albert
Codul Libristo: 05147795
Editura Springer International Publishing AG, august 2014
This book constitutes the refereed proceedings of the 11th 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

Surrender to the Fantasy Magik Markers / Audio Audio CD
common.buy 121.34 lei
A2 Key for schools Trainer 2 / Carte Carte broșată
common.buy 233.63 lei
Storm Child Fountain / Carte Carte broșată
common.buy 54.72 lei
Гендер, культура и фукусимская катастрофа / Carte Copertă tare
common.buy 123.53 lei
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Carte Carte broșată
common.buy 119.36 lei
Boy's Abyss 11 Nana Umino / Carte Carte broșată
common.buy 41.07 lei
Mia Moglie mi Tradisce Lara Steele / Carte Copertă tare
common.buy 124.78 lei
Recueil De Contes Populaires Grecs Anonymous / Carte Copertă tare
common.buy 189.94 lei
Perfektionismus im Schulkontext / Carte Carte broșată
common.buy 89.86 lei
Die italienische Plastik Wilhelm Bode / Carte Copertă tare
common.buy 603.94 lei
Jetzt sag ich's Waltraut Haas / E-book Adobe ePub DRM
common.buy 104.45 lei
Dopamin Rowena Kong / Carte Carte broșată
common.buy 198.39 lei
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Carte Copertă tare
common.buy 154.81 lei
Tajemství stříbrné klisny Julie Wald / Carte Copertă tare
common.buy 48.15 lei
Le Triomphe de la méthode Fauchere / Carte Copertă tare
common.buy 66.82 lei
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Carte Carte broșată
common.buy 86.21 lei
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Videoclip Blu-ray
common.buy 73.59 lei
Missa Sancti Amandi, Partitur Joseph Haydn / Materiale tipărite Note muzicale
common.buy 228.62 lei
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Carte Carte broșată
common.buy 71.82 lei

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Elvira Albert, Emil Sekerinski
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 390
EAN 9783319101804
ISBN 3319101803
Codul Libristo 05147795
Editura Springer International Publishing AG
Greutatea 6088
Dimensiuni 155 x 235 x 22

Categorii

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Solidarity in Health and Social Care in Europe W. Arts / Carte Carte broșată
common.buy 1 138.98 lei
Facilitator's & Trainer's Toolkit Artie Mahal / Carte Carte broșată
common.buy 128.95 lei
Brownies in the Attic S a Parks / Carte Carte broșată
common.buy 48.89 lei
Practical Spirituality and Human Development Ananta Kumar Giri / Carte Copertă tare
common.buy 587.89 lei
VOCABULARY SUCCESS B2 FCE SELF STUDY / Carte Carte
common.buy 122.70 lei
Sins of a Wicked Princess Anna Randol / Carte Carte broșată
common.buy 50.97 lei
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Carte Carte broșată
common.buy 381.67 lei
Cursive Alphabet Mike Stewart / Carte Carte broșată
common.buy 53.37 lei
Leftin
The Incomplete (Updated Edition) Robert Klanten / Carte Copertă tare
common.buy 199.74 lei
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Carte Carte broșată
common.buy 106.54 lei
Nou
Bernard Williams on Law and Jurisprudence Daniel Peixoto Murata / Carte Copertă tare
common.buy 670.87 lei
The Complete Idiot's Guide to Dirty Jokes David Pietras / Carte Carte broșată
common.buy 98.09 lei
Computer Algebra in Scientific Computing Vladimir P. Gerdt / Carte Carte broșată
common.buy 307.23 lei
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Carte Carte broșată
common.buy 142.61 lei
2 Life's Stories J L Albesa / Carte Carte broșată
common.buy 34.29 lei
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Carte Carte broșată
common.buy 178.68 lei
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Carte Carte broșată
common.buy 92.67 lei
Paddling Idaho Greg Stahl / Carte Carte broșată
common.buy 126.55 lei
Empire of Cotton Sven Beckert / Carte Carte broșată
common.buy 79.43 lei
THE ROMANS OF BRITAIN HENRY CHARLES COOTE / Carte Carte broșată
common.buy 194.74 lei
Chapters Of Opera Henry Edward Krehbiel / Carte Carte broșată
common.buy 131.98 lei
Black Ice Lorene Cary / Carte Carte broșată
common.buy 92.67 lei
Glasgow Sean Damer / Carte Carte broșată
common.buy 110.92 lei
2nd Chance James Patterson / Carte Carte broșată
common.buy 66.40 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