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.

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Michael Butler
Codul Libristo: 09535572
Editura Springer International Publishing AG, noiembrie 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Carte Carte
common.buy 84.23 lei
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Carte Carte broșată
common.buy 124.57 lei
Max von Schenkendorf E. Heinrich / Carte Carte broșată
common.buy 173.68 lei
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Carte Copertă tare
common.buy 70.36 lei
Speculum Saxonum Ius municipale / Carte Copertă tare
common.buy 32.31 lei
Peche a la lune (La) DUBOIS / Carte Carte broșată
common.buy 47.74 lei
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Carte Carte broșată
common.buy 227.48 lei
Jak přemýšlí náš teenager? Tanith Careyová / Carte Carte broșată
common.buy 93.82 lei
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Carte Carte broșată
common.buy 52.95 lei
Top
Appuntamento a Positano Goliarda Sapienza / Carte Carte broșată
common.buy 76.83 lei
Don Chisciotte in Sicilia Roberto Mandracchia / Carte Carte broșată
common.buy 96.63 lei
Hunger auf Leben Brigitte Reimann / Carte Carte broșată
common.buy 41.07 lei
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Carte Carte broșată
common.buy 124.78 lei
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Carte Carte broșată
common.buy 484.98 lei
Auf dass wir klug werden Anja Zimmer / Carte Carte broșată
common.buy 90.28 lei
Biotechs A Schneider / Carte Carte broșată
common.buy 70.57 lei
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Carte Carte broșată
common.buy 173.68 lei
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Carte Carte broșată
common.buy 160.44 lei
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Carte Carte broșată
common.buy 80.37 lei
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Carte Carte broșată
common.buy 138.55 lei
TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE / Carte Copertă tare
common.buy 99.45 lei
De ejercicios con sor Isabél de Meester / Carte Carte broșată
common.buy 73.38 lei
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Carte Carte broșată
common.buy 101.43 lei
Herzvibrieren Josie Kju / Carte Carte broșată
common.buy 65.78 lei

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 436
EAN 9783319254227
ISBN 3319254227
Codul Libristo 09535572
Editura Springer International Publishing AG
Greutatea 6964
Dimensiuni 155 x 235 x 236

Categorii

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
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

Neurobrucellosis Mehmet Turgut / Carte Copertă tare
common.buy 558.59 lei
Evolution Driven by Organismal Behavior Rui Diogo / Carte Copertă tare
common.buy 190.57 lei
Tecumseh's Last Stand John Peter Sugden / Carte Carte broșată
common.buy 133.54 lei
Curând
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Carte Copertă tare
common.buy 317.86 lei
Rival Truths Lindsay St Claire / Carte Carte broșată
common.buy 304.42 lei
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Carte Copertă tare
common.buy 226.22 lei
Obturating Materials for Decidouos Dentition Deepti Jawa / Carte Carte broșată
common.buy 217.99 lei
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Carte Carte broșată
common.buy 570.37 lei
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Carte Carte broșată
common.buy 59.52 lei
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Carte Carte broșată
common.buy 71.82 lei
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Carte Carte broșată
common.buy 42.32 lei
Music Theory for Singers Level One SANDVIG / Carte Carte broșată
common.buy 144.80 lei
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Carte Carte broșată
common.buy 79.22 lei
Gwendoline's Harvest: A Novel... James Payn / Carte Carte broșată
common.buy 136.35 lei
The Kama Sutra Vatsyayana / Carte Carte broșată
common.buy 81.83 lei
Top
Ritual Baths Deborah Hanekamp / Carte Copertă tare
common.buy 129.16 lei
Voice Biomarkers Shinichi Tokuno / Carte Copertă tare
common.buy 725.61 lei
Grade 9-1 GCSE Chemistry: OCR Gateway Revision Guide with Online Edition CGP Books / Carte Carte broșată
common.buy 50.14 lei
Successful Technological Integration for Competitive Advantage in Retail Settings Eleonora Pantano / Carte Copertă tare
common.buy 1 110.31 lei
Erich Von Manstein Benoit Lemay / Carte Copertă tare
common.buy 229.66 lei
Arimaspian Eye David L. Hall / Carte Copertă tare
common.buy 272.20 lei
Key Concepts in Health Psychology Ian Albery / Carte Copertă tare
common.buy 589.87 lei
Separation and the Very Young James Robertson / Carte Carte broșată
common.buy 153.25 lei
Chaplains of ANZAC Dr Jennifer Betham-Lang / Carte Copertă tare
common.buy 85.79 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