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.

Formal Methods: Foundations and Applications

13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Jim Davies
Codul Libristo: 01657595
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, martie 2011
This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symp... Descrierea completă
? points 142 b
306.23 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La guineu Dubravka Ugresic / E-book Adobe ePub DRM
common.buy 86.55 lei
ONE PIECE 97 (VO JAPONAIS) oda / Carte Carte broșată
common.buy 65.98 lei
Sinfonia alpestre Carlo Linati / E-book Adobe ePub DRM
common.buy 63.17 lei
Manuel de psychologie clinique de la perinatalite Sylvain Missonnier / E-book Adobe ePub DRM
common.buy 178.10 lei
VAMPIRE KNIGHT Pearls 10 Matsuri Hino / Carte Carte broșată
common.buy 50.60 lei
LES MOUVEMENTS NATIONALISTES FRANCAIS 1920-1945 GUIMBERTEAU / Carte Carte broșată
common.buy 307.89 lei
Entwicklung des verbalen Aspekts bei zweisprachigen russisch-deutschen Kindern Daria Rybalov / Carte Carte broșată
common.buy 89.57 lei
Canzone della Strada, 1 Audio-CD uadro Nuevo / Audio Audio CD
common.buy 132.69 lei
Giuseppe Verdi Und Das Risorgimento Ein Politischer Mythos Im Prozess Der Nationenbildung Birgit Pauls / Carte Copertă tare
common.buy 668.07 lei
Suche nach dem Sinn des Lebens Willigis Jäger / Carte Carte
common.buy 81.98 lei

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 submissions. The papers presented cover a broad range of foundational§and methodological issues in formal methods for the design and analysis§of software and hardware systems as well as applications in various§domains.

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: Foundations and Applications
Autor Jim Davies, Leila Silva, Adenilso Simao
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 291
EAN 9783642198281
ISBN 3642198287
Codul Libristo 01657595
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 448
Dimensiuni 155 x 235 x 19

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
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
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

Lost In Hypertext: Intertextuality in the Television Show Lost Cari Lynn Vaughn / Carte Carte broșată
common.buy 56.73 lei
Massage for Busy People Dawn Groves / E-book Adobe ePub DRM
common.buy 30.02 lei
Biographical History of England, From Egbert the Great to the Revolution James 1723-1776 Granger / Carte Carte broșată
common.buy 137.37 lei
Sermons To The Young (1876) William Bruce / Carte Carte broșată
common.buy 137.37 lei
Proceedings of 3rd International Conference on the Industry 4.0 Model for Advanced Manufacturing Jun Ni / Carte Carte broșată
common.buy 852.00 lei
Live Like Jesus CHRIS CREECH / Carte Carte broșată
common.buy 78.76 lei
Introduction to the Study of English Literature Vida Dutton Scudder / Carte Copertă tare
common.buy 220.29 lei
Plutarch's Lives. in Six Volumes. Translated from the Greek. with Explanatory and Critical Notes, from Dacier and Others; And a Complete Index. to Whi Plutarch / Carte Carte broșată
common.buy 159.29 lei
Libraries Without Limits: Changing Needs - Changing Roles Suzanne Bakker / Carte Copertă tare
common.buy 513.75 lei
Virtue and Terror Maximilien Robespierre / Carte Carte broșată
common.buy 117.10 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