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

Software Engineering and Formal Methods

Limba englezăengleză
Carte Carte broșată
Carte Software Engineering and Formal Methods Robert Hierons
Codul Libristo: 02016931
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembrie 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Carte broșată
common.buy 110 lei
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Carte broșată
common.buy 637 lei
All-American Boy Larzer Ziff / Copertă tare
common.buy 118 lei
Fortune like the Moon Alys Clare / Carte broșată
common.buy 59 lei
Le Lai de Lanval Marie de France / Carte broșată
common.buy 33 lei
White House is Burning Jane Sutcliffe / Copertă tare
common.buy 90 lei
What Works in Corrections Doris Layton MacKenzie / Copertă tare
common.buy 761 lei
curând
Dirty Deeds: Dirty Angels 2 Karina Halle / Carte broșată
common.buy 54 lei
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Carte broșată
common.buy 125 lei
Necessary Goods Gillian Brock / Carte broșată
common.buy 365 lei
L-Architectes Heinz Wirz / Carte broșată
common.buy 191 lei
THE BOOK OF THE THOUSAND NIGHTS AND ONE JOHN PAYNE / Carte broșată
common.buy 146 lei

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Informații despre carte

Titlu complet Software Engineering and Formal Methods
Autor Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 321
EAN 9783642405600
ISBN 3642405606
Codul Libristo 02016931
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 5153
Dimensiuni 155 x 235 x 19

Categorii

Computing & Information Technology > Computer hardware > Network hardware
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