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

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Integrated Formal Methods Dominique Méry
Codul Libristo: 01656785
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Carte Carte broșată
common.buy 100.00 lei
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Carte Carte broșată
common.buy 190.19 lei
Het oog der liefde Kent / Audiobook MP3
common.buy 37.57 lei
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Carte Carte broșată
common.buy 47.17 lei
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Carte Carte broșată
common.buy 116.07 lei
Petite Terreur ou souffre-douleur Stéphane Bourcet / Carte Carte broșată
common.buy 149.37 lei
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Carte Carte broșată
common.buy 125.47 lei
Potencial de Croacia como destino turístico para el mercado ruso / Carte Carte broșată
common.buy 198.65 lei
Vežovníček Marta Hlušíková; Alena Wagnerová / Carte Copertă tare
common.buy 38.93 lei
Jakobsweg ist uberall Olaf Behrens / Carte Carte broșată
common.buy 82.35 lei
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Carte Carte broșată
common.buy 94.15 lei
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Carte Carte broșată
common.buy 84.55 lei
Oberwallis Roland Nanzer / Carte Copertă tare
common.buy 182.15 lei
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Carte Carte broșată
common.buy 100.00 lei
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Carte Carte broșată
common.buy 89.97 lei
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Carte Carte broșată
common.buy 288.21 lei
Schumann-Handbuch Ulrich Tadday / Carte Copertă tare
common.buy 177.14 lei
Die Strafgewalt der Kirche. Wilhelm Rees / Carte Carte broșată
common.buy 522.36 lei
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Carte Carte broșată
common.buy 77.34 lei
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Videoclip Videoclip
common.buy 37.57 lei

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Dominique Méry, Stephan Merz
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 337
EAN 9783642162640
ISBN 3642162649
Codul Libristo 01656785
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 528
Dimensiuni 155 x 235 x 19

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
Computing & Information Technology > Operating systems
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

Knight of the White Cross George Alfred Henty / Carte Carte broșată
common.buy 89.97 lei
To Duel With the Hands of God James R Elliott / Carte Carte broșată
common.buy 85.59 lei
Coffee Table Conversations Tina Divina / Carte Carte broșată
common.buy 111.69 lei
Multivariate Statistical Analysis V.I. Serdobolskii / Carte Carte broșată
common.buy 571.12 lei
Miscellanies Upon Various Subjects John Aubrey / Carte Carte broșată
common.buy 75.26 lei
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Carte Carte broșată
common.buy 119.52 lei
Alpha Jasinda Wilder / Carte Carte broșată
common.buy 90.39 lei
How to Analyze People Ryan James / Carte Carte broșată
common.buy 101.98 lei
Demographic Masculinization of China Isabelle Attané / Carte Copertă tare
common.buy 286.33 lei
Transcending Textuality Ariadna Garcia Bryce / Carte Carte broșată
common.buy 262.43 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