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

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Karin Breitman
Codul Libristo: 01655066
Editura Springer, Berlin, octombrie 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Descrierea completă
? points 263 b
570.50 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mapa National Portugal, Madeira 2021 / Carte binding.
common.buy 67.04 lei
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Carte Carte broșată
common.buy 54.53 lei
L'enfant du mistral Jean-Michel Thibaux / Carte Carte broșată
common.buy 50.56 lei
Régression avec Python Rouvière / Carte Carte broșată
common.buy 217.83 lei
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Carte Carte broșată
common.buy 85.29 lei
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Carte Carte broșată
common.buy 82.99 lei
Pays natal Dhotel / Carte Carte broșată
common.buy 73.19 lei
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Carte Carte broșată
common.buy 297.49 lei
Grundlagen des Zeichnens John Ruskin / Carte Copertă tare
common.buy 120.74 lei
Cuentos de amor, de locura y de muerte Horacio Quiroga / Carte Carte broșată
common.buy 52.13 lei
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Carte Carte broșată
common.buy 397.39 lei
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Carte Carte broșată
common.buy 104.68 lei
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Carte Carte broșată
common.buy 234.09 lei
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Carte Carte broșată
common.buy 107.92 lei
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Carte Carte broșată
common.buy 149.63 lei
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Carte Carte broșată
common.buy 122.20 lei
Aggressiv Flirten Michael Wiesner / Carte Carte broșată
common.buy 75.17 lei
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Carte Copertă tare
common.buy 114.38 lei
Marktwirtschaft Im Unternehmen Conrad Mauritz / Carte Carte broșată
common.buy 293.85 lei
Grundformen der Angst Fritz Riemann / Carte Copertă tare
common.buy 120.95 lei
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Carte Carte broșată
common.buy 501.88 lei

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

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 Karin Breitman, Ana Cavalcanti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2009
Număr pagini 757
EAN 9783642103728
ISBN 3642103723
Codul Libristo 01655066
Editura Springer, Berlin
Greutatea 1169
Dimensiuni 155 x 235 x 30

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 > 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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Carte Carte broșată
common.buy 363.71 lei
Julissa's Reading Log Martha Day Zschock / Carte Copertă tare
common.buy 87.90 lei
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Carte Copertă tare
common.buy 196.76 lei
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Carte Carte broșată
common.buy 148.48 lei
Typical Drama with Cloe-New School=New Life Cloe Demartino / Carte Copertă tare
common.buy 132.63 lei
Winter of Ice and Iron Rachel Neumeier / Carte Carte broșată
common.buy 79.87 lei
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Carte Carte broșată
common.buy 34.71 lei
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Carte Carte broșată
common.buy 47.12 lei
Resurrecting Artwork MCGUIRE / Carte Carte broșată
common.buy 72.98 lei
Hydrogeology Dassargues / Carte Copertă tare
common.buy 594.58 lei
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Carte Copertă tare
common.buy 948.71 lei
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Carte Carte broșată
common.buy 43.89 lei
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 185.40 lei
State Crisis in Fragile Democracies Samuel Handlin / Carte Carte broșată
common.buy 264.44 lei
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Carte Copertă tare
common.buy 535.98 lei
Understanding Gangs and Gang Violence in America MORALES / Carte Carte broșată
common.buy 635.15 lei
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Carte Carte broșată
common.buy 73.61 lei
The Treasury of Knowledge and Library Reference Samuel Maunder / Carte Carte broșată
common.buy 204.58 lei
Sailor's Logbook Mark L. Thompson / Carte Carte broșată
common.buy 168.71 lei
Ethical and Professional Issues in Nursing W Tadd / Carte Carte broșată
common.buy 326.17 lei
Pippi Longstocking Astrid Lindgren / Carte Carte broșată
common.buy 54.74 lei
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Carte Carte broșată
common.buy 1 089.90 lei
Love Wins Elizabeth Martin / E-book Adobe ePub DRM
common.buy 24.08 lei
Formal Logic P. Lorenzen / Carte Carte broșată
common.buy 570.50 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