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 Leila Ribeiro
Codul Libristo: 15195023
Editura Springer International Publishing AG, noiembrie 2016
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SB... Descrierea completă
? points 161 b
325 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

Zarzadzanie ryzykiem w organizacjach non profit Domański Jarosław / Copertă tare
common.buy 82 lei
Reglement Pour Les Enfants Qui Frequentent Les Ecoles Chretiennes Derniere Edition "" / Carte broșată
common.buy 77 lei
Revenger Alastair Reynolds / Audio CD
common.buy 227 lei
THE RAINBOW FEATHER FERGUS HUME / Copertă tare
common.buy 189 lei
Leber und Galle entgiften und stärken Angela Fetzner / Copertă tare
common.buy 108 lei
Not Just for This Life: Gough Whitlam Remembered Gary Gray / Carte broșată
common.buy 192 lei
Paul Lincke Jan Kutscher / Copertă tare
common.buy 226 lei
Excel 2013 en profundidad María Pérez Marques / Carte broșată
common.buy 214 lei
SPA-RIGBY PM COLECCION Rigby / Copertă tare
common.buy 414 lei
Des Diverses Methodes de Traitement Chirurgical Des Nevralgies Du Nerf Maxillaire Inferieur CHARMENSAT-A / Carte broșată
common.buy 98 lei
A SPANISH DIARY IN 1882 ALEXANDER KILGOUR / Copertă tare
common.buy 205 lei
Antony Alexandre Dumas / Carte broșată
common.buy 68 lei
Romeo und Gisela. Ein generationenübergreifendes Theaterstück und geragogisches Praxisbeispiel Veronika Siegrist / Carte broșată
common.buy 79 lei

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.

Informații despre carte

Titlu complet Formal Methods: Foundations and Applications
Autor Leila Ribeiro, Thierry Lecomte
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 253
EAN 9783319498140
ISBN 3319498142
Codul Libristo 15195023
Editura Springer International Publishing AG
Greutatea 4044
Dimensiuni 155 x 235 x 16

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
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