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 Adenilso Simao
Codul Libristo: 01659166
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octombrie 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symp... Descrierea completă
? points 204 b
412 lei
În depozitul extern în cantități mici Expediem în 10-15 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Kameny a hvězdy Václav Cílek / Copertă tare
common.buy 53 lei
Rota Fortunae THIRTEEN O'CL PRESS / Carte broșată
common.buy 83 lei
Gerichtsbarkeit in der Tschechischen Republik Karel Schelle / Carte broșată
common.buy 1.165 lei
Super M - Mathematik für alle - Östliche Bundesländer und Berlin - 2. Schuljahr Klaus Heinze / Foaie
common.buy 61 lei
Geometry and Differential Geometry Rafael Artzy / Carte broșată
common.buy 349 lei
Computer Aided Architectural Design Futures 2001 Bauke de Vries / Copertă tare
common.buy 1.906 lei
Excel 2013 for Scientists Dr. Gerard Verschuuren / Carte broșată
common.buy 156 lei

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 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 Adenilso Simao, Carroll Morgan
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 205
EAN 9783642250316
ISBN 3642250319
Codul Libristo 01659166
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 338
Dimensiuni 155 x 235 x 15

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