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

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.10 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Surrender to the Fantasy Magik Markers / Audio Audio CD
common.buy 120.97 lei
Гендер, культура и фукусимская катастрофа / Carte Copertă tare
common.buy 123.16 lei
Die italienische Plastik Wilhelm Bode / Carte Copertă tare
common.buy 656.89 lei
Perfektionismus im Schulkontext / Carte Carte broșată
common.buy 89.58 lei
Recueil De Contes Populaires Grecs Anonymous / Carte Copertă tare
common.buy 189.37 lei
THE CURE MARCOS GENDRE / Carte Carte
common.buy 132.41 lei
Borussia Mönchen Gladbach Holger Jenrich / Carte Carte broșată
common.buy 84.81 lei
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Carte Carte broșată
common.buy 119.00 lei
Boy's Abyss 11 Nana Umino / Carte Carte broșată
common.buy 40.94 lei
Storm Child Fountain / Carte Carte broșată
common.buy 54.56 lei
Zestaw Dress Me Up Top Model Sport 13808A / Carte Carte broșată
common.buy 34.81 lei
Mia Moglie mi Tradisce Lara Steele / Carte Copertă tare
common.buy 124.40 lei
A2 Key for schools Trainer 2 / Carte Carte broșată
common.buy 232.71 lei
Jetzt sag ich's Waltraut Haas / E-book Adobe ePub DRM
common.buy 103.72 lei
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Carte Carte broșată
common.buy 279.38 lei
Dopamin Rowena Kong / Carte Carte broșată
common.buy 197.79 lei
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Carte Copertă tare
common.buy 141.14 lei
Tajemství stříbrné klisny Julie Wald / Carte Copertă tare
common.buy 48.01 lei
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Carte Carte broșată
common.buy 85.95 lei
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Carte Carte broșată
common.buy 70.98 lei
Le Triomphe de la méthode Fauchere / Carte Copertă tare
common.buy 59.55 lei
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Carte Carte broșată
common.buy 85.95 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.60 lei
Ein anarchistischer Bankier, 1 Audio-CD, 1 MP3 Fernando Pessoa / Audio Audio CD
common.buy 82.93 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 135.53 lei
Sins of a Wicked Princess Anna Randol / Carte Carte broșată
common.buy 50.82 lei
VOCABULARY SUCCESS B2 FCE SELF STUDY / Carte Carte
common.buy 109.96 lei
Facilitator's & Trainer's Toolkit Artie Mahal / Carte Carte broșată
common.buy 128.56 lei
Practical Spirituality and Human Development Ananta Kumar Giri / Carte Copertă tare
common.buy 586.10 lei
Brownies in the Attic S a Parks / Carte Carte broșată
common.buy 48.74 lei
Black Ice Lorene Cary / Carte Carte broșată
common.buy 79.61 lei
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Carte Carte broșată
common.buy 178.14 lei
Paddling Idaho Greg Stahl / Carte Carte broșată
common.buy 139.58 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.39 lei
Top
The Incomplete (Updated Edition) Robert Klanten / Carte Copertă tare
common.buy 247.37 lei
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Carte Carte broșată
common.buy 142.18 lei
2 Life's Stories J L Albesa / Carte Carte broșată
common.buy 34.19 lei
The Complete Idiot's Guide to Dirty Jokes David Pietras / Carte Carte broșată
common.buy 97.80 lei
Letters and Papers Illustrative of the Reigns of Richard III and Henry VII James Gairdner / Carte Carte broșată
common.buy 178.14 lei
Lonely Mystic Michael Ford / Carte Carte broșată
common.buy 87.19 lei
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Carte Carte broșată
common.buy 106.22 lei
Soccer Scenario Cards Darren Laver / Carte Carte broșată
common.buy 81.58 lei
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Carte Carte broșată
common.buy 377.91 lei
Cursive Alphabet Mike Stewart / Carte Carte broșată
common.buy 53.21 lei
Perfect Real Estate Agent Blueprint Robby Trefethren / Carte Carte broșată
common.buy 94.99 lei
No More Anxiety! Gladeana McMahon / E-book Adobe ePub DRM
common.buy 186.15 lei
Top
Empire of Cotton Sven Beckert / Carte Carte broșată
common.buy 99.98 lei
Multimedia Modernism Julian Murphet / Carte Copertă tare
common.buy 730.68 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?