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 for Quantitative Aspects of Programming Languages

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Quantitative Aspects of Programming Languages Alessandro Aldini
Codul Libristo: 01656039
Editura Springer, Berlin, noiembrie 2009
This book presents a set of 4 papers accompanying the lectures of§leading researchers given at the 1... Descrierea completă
? points 163 b
329 lei
În depozitul extern Expediem în 9-13 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Amari and the Night Brothers B. B. Alston / Carte broșată
common.buy 44 lei
top
The Saturday Night Ghost Club Craig Davidson / Carte broșată
common.buy 76 lei
Spellcasting Oracle Cards Barbara Meiklejohn-Free / Cărți
common.buy 90 lei
MYP Mathematics 4&5 Standard Print and Enhanced Online Course Book Pack Rose Harrison / Carte broșată
common.buy 365 lei
Hypnotherapy Dave Elman / Carte broșată
common.buy 365 lei
Vampirella 50th Anniversary Artbook None / Copertă tare
common.buy 181 lei
Fireman Sam: Rescue Heroes! A Lift-and-Look Flap Book Egmont Publishing UK / Cărți pliante
common.buy 42 lei
Breaking Free of Child Anxiety and OCD Eli R. Lebowitz / Carte broșată
common.buy 83 lei
curând
Murder In The Front Row Brian Lew / Copertă tare
common.buy 231 lei
Street of Crocodiles and Other Stories, the Bruno Schulz / Carte broșată
common.buy 80 lei
France John Julius Norwich / Carte broșată
common.buy 77 lei
The Motley Fool Investment Guide: How the Fools Beat Wall Street's Wise Men and How You Can Too Tom Gardner / Carte broșată
common.buy 96 lei
Imray Chart M8 Imray / Hartă
common.buy 153 lei
Ab Initio Molecular Dynamics Dominik Marx / Carte broșată
common.buy 388 lei
New York State Penal Code 2017 John Snape / Carte broșată
common.buy 203 lei
Theoretical Chemical Engineering Christo Boyadjiev / Copertă tare
common.buy 1.270 lei

This book presents a set of 4 papers accompanying the lectures of§leading researchers given at the 10th edition of the International§School on Formal Methods for the Design of Computer, Communication and§Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.§SFM 2010 was devoted to formal methods for quantitative aspects of§programming languages and covered several topics including probabilistic§and timed models, model checking, static analysis, quantum computing,§real-time and embedded systems, and security.

Informații despre carte

Titlu complet Formal Methods for Quantitative Aspects of Programming Languages
Autor Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 169
EAN 9783642136771
ISBN 364213677X
Codul Libristo 01656039
Editura Springer, Berlin
Greutatea 277
Dimensiuni 155 x 234 x 10

Categorii

Medicine & Nursing > Clinical & internal medicine > Diseases & disorders > Immunology
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 > Operating systems
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