phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Formal Methods: Foundations and Applications

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods: Foundations and Applications Rohit Gheyi
Codul Libristo: 01662107
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Descrierea completă
? points 210 b
422 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Petrolejové lampy Jaroslav Havlíček / Carte broșată
common.buy 21 lei
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Carte broșată
common.buy 77 lei
Journeying Wave Richmal Crompton / Copertă tare
common.buy 189 lei
Dark Ages and the Age of Gold Russell A. Fraser / Copertă tare
common.buy 1.046 lei
Logic for Concurrency and Synchronisation R.J. De Queiroz / Carte broșată
common.buy 639 lei
Interfacing PIC Microcontrollers Martin Bates / Carte broșată
common.buy 291 lei
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Carte broșată
common.buy 477 lei
Handbuch Der Ziehtechnik Walter Sellin / Carte broșată
common.buy 353 lei
Planning After Petroleum / Copertă tare
common.buy 1.252 lei
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Carte broșată
common.buy 983 lei
Intercultural Issues in Online Communication Verena Wiedmaier / Carte broșată
common.buy 757 lei
People's Platform Astra Taylor / Carte broșată
common.buy 81 lei
Ballad And The Source Rosamond Lehmann / Carte broșată
common.buy 86 lei
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Carte broșată
common.buy 529 lei
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Carte broșată
common.buy 250 lei
Piano Exam Pieces 2015 & 2016, Grade 5 / Copertă tare
common.buy 99 lei

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.

Informații despre carte

Titlu complet Formal Methods: Foundations and Applications
Autor Rohit Gheyi, David Naumann
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 227
EAN 9783642332951
ISBN 3642332951
Codul Libristo 01662107
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 373
Dimensiuni 155 x 235 x 14

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

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