Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Formal Methods for Quantitative Aspects of Programming Languages

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Language EnglishEnglish
Book Paperback
Book Formal Methods for Quantitative Aspects of Programming Languages Alessandro Aldini
Libristo code: 01656039
Publishers Springer, Berlin, November 2009
This book presents a set of 4 papers accompanying the lectures of§leading researchers given at the 1... Full description
? points 142 b
58.55 €
114.51  лв
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

PIZTIAK - U PIZTIAK Book binding.
common.buy 13.53 € 26.47 лв
Matemáticas 5 / Book Book
common.buy 27.44 € 53.66 лв
HENRYK MIKOLAJ GORECKI: FOUR PRELUDES OP.1 PIANO GORECKI Book binding.
common.buy 21.60 € 42.24 лв
Bracelet Dizainier Porte Bonheur Taupe / Book binding.
common.buy 5.68 € 11.11 лв
Varázslatos színek: Mása és a Medve / Book Hardback
common.buy 5.37 € 10.50 лв
9 agosto 378. Il giorno dei barbari Alessandro Barbero / Book Paperback
common.buy 31.47 € 61.54 лв
Psychológia Marcela Verešová a kol. / Book Paperback
common.buy 6.82 € 13.33 лв
Maximiliano Fernández / Book Paperback
common.buy 20.46 € 40.02 лв
EL PROCEDIMIENTO ANTE EL TRIBUNAL DEL JURADO PEREZ DEL VALLE / Book Book
common.buy 72.09 € 140.99 лв
Sörmentén Prága és környéke Vétek György / Book Hardback
common.buy 17.57 € 34.36 лв
Masturbation Hermann Rohleder / Book Paperback
common.buy 40.56 € 79.33 лв
Tant que nous serons ensemble - tome 2 Yuki Akaneda / Book Paperback
common.buy 12.09 € 23.64 лв
El crac energ?tic Riba Romeva / Book binding.
common.buy 12.19 € 23.84 лв
Přehled dějin reflexe psychologie osobnosti v našich zemích Josef Förster / Book Hardback
common.buy 10.64 € 20.81 лв
Theatre Menandre / Book Paperback
common.buy 11.57 € 22.63 лв
Kolej jablonowska Bogdan Pokropinski / Book Paperback
common.buy 13.28 € 25.97 лв
Sin City Damulka warta grzechu Tom 2 Frank Miller / Book Hardback
common.buy 12.50 € 24.45 лв
Técnicas de reacondicionamiento y preentrega María del Rosario Zurita García / Book Paperback
common.buy 20.05 € 39.21 лв
Affordable
Recherches Sur l'Art de Parvenir (Ed.1868) Maurice Joly / Book Paperback
common.buy 20.77 € 40.62 лв
Histoire Des Races Maudites de la France Et de l'Espagne. T. 2 (Ed.1847) Francisque Michel / Book Paperback
common.buy 25.27 € 49.42 лв
Licht Brockmann/Bargmann / Audio Audio CD
common.buy 24.13 € 47.19 лв
Comparativo entre fundacao rasa do tipo sapata e radier Denis Vieira / Book Paperback
common.buy 34.00 € 66.50 лв
Moje obľúbené zvieratká / Book Paperback
common.buy 2.11 € 4.13 лв
Lärmminderungsplanung Ulrich Blaschke / Book Paperback
common.buy 121.96 € 238.53 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Quantitative Aspects of Programming Languages
Author Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 169
EAN 9783642136771
ISBN 364213677X
Libristo code 01656039
Publishers Springer, Berlin
Weight 277
Dimensions 155 x 234 x 10

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Poet Anderson ...in Darkness DeLonge Tom / Book Hardback
common.buy 16.48 € 32.23 лв
Top
The Saturday Night Ghost Club Craig Davidson / Book Paperback
common.buy 13.59 € 26.57 лв
Top
France John Julius Norwich / Book Paperback
common.buy 17.05 € 33.34 лв
Top
Yona of the Dawn, Vol. 17 Mizuho Kusanagi / Book Paperback
common.buy 11.62 € 22.73 лв
Computer Safety, Reliability, and Security Barbara Gallina / Book Paperback
common.buy 54.36 € 106.32 лв
Lessons from Legends: 12 Hall of Fame Coaches on Leadership, Life, and Leaving a Legacy Scott Bedgood / Book Hardback
common.buy 21.65 € 42.34 лв
Alice's Adventures in Wonderland LEWIS CAROLL / Book Hardback
common.buy 19.37 € 37.89 лв
Fifty Ways to Teach with Technology Paul Raine / Book Paperback
common.buy 8.52 € 16.67 лв
Oneness Jim O'Neill / Book Paperback
common.buy 10.33 € 20.20 лв
Beyond the Hollow: a teen travel romance Mrs Kristy Tate / Book Paperback
common.buy 14.83 € 29.00 лв
Alice, s Adventures In Wonderland Lewis Carroll / Book Paperback
common.buy 6.71 € 13.13 лв
The Fountain of Youth: Or Curing by Water Benedict Lust / Book Paperback
common.buy 26.87 € 52.55 лв
New York State Penal Code 2017 John Snape / Book Paperback
common.buy 36.12 € 70.64 лв
The Motley Fool Investment Guide: How the Fools Beat Wall Street's Wise Men and How You Can Too Tom Gardner / Book Paperback
common.buy 17.26 € 33.75 лв
Rodeo Clown Nick Gordon / Book Hardback
common.buy 35.08 € 68.62 лв
Einstein the Science Dog Melissa Morrissey / Book Hardback
common.buy 18.75 € 36.68 лв
Top
MYP Mathematics 4&5 Standard Print and Enhanced Online Course Book Pack Rose Harrison / Book Paperback
common.buy 103.82 € 203.05 лв
Bioinformatics and Beyond Moolchand Sharma / E-book Adobe ePub DRM
common.buy 86.82 € 169.80 лв
Top
Alice in Wonderland Book Lewis Carroll / Book Hardback
common.buy 19.06 € 37.29 лв
Masterpiece Miranda Glover / E-book Adobe ePub DRM
common.buy 10.38 € 20.31 лв
Timelines of Everything: From Woolly Mammoths to World Wars DK / Book Hardback
common.buy 24.34 € 47.60 лв
The Art of Mandolin Making Dominik Kreuzer / Book Hardback
common.buy 65.06 € 127.24 лв
Lonely Planet Pocket Rome Alexis Averbuck / Book Paperback
common.buy 17.77 € 34.76 лв
Hands-on Azure Functions with C# Abhishek Mishra / Book Paperback
common.buy 59.84 € 117.03 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account