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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 152 b
22 598 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Varázslatos színek: Mása és a Medve / Book Hardback
common.buy 1 920 Ft
9 agosto 378. Il giorno dei barbari Alessandro Barbero / Book Paperback
common.buy 11 691 Ft
Sörmentén Prága és környéke Vétek György / Book Hardback
common.buy 6 580 Ft
EL PROCEDIMIENTO ANTE EL TRIBUNAL DEL JURADO PEREZ DEL VALLE / Book Book
common.buy 24 963 Ft
Matemáticas 5 / Book Book
common.buy 9 462 Ft
Přehled dějin reflexe psychologie osobnosti v našich zemích Josef Förster / Book Hardback
common.buy 3 364 Ft
Bracelet Dizainier Porte Bonheur Taupe / Book binding.
common.buy 2 069 Ft
HENRYK MIKOLAJ GORECKI: FOUR PRELUDES OP.1 PIANO GORECKI Book binding.
common.buy 7 572 Ft
El crac energ?tic Riba Romeva / Book binding.
common.buy 4 241 Ft
PIZTIAK - U PIZTIAK Book binding.
common.buy 4 790 Ft
Tant que nous serons ensemble - tome 2 Yuki Akaneda / Book Paperback
common.buy 4 297 Ft
Maximiliano Fernández / Book Paperback
common.buy 7 187 Ft
Técnicas de reacondicionamiento y preentrega María del Rosario Zurita García / Book Paperback
common.buy 6 920 Ft
Psychológia Marcela Verešová a kol. / Book Paperback
common.buy 2 308 Ft
Masturbation Hermann Rohleder / Book Paperback
common.buy 15 083 Ft
Lärmminderungsplanung Ulrich Blaschke / Book Paperback
common.buy 41 936 Ft
Histoire Des Races Maudites de la France Et de l'Espagne. T. 2 (Ed.1847) Francisque Michel / Book Paperback
common.buy 9 106 Ft
Affordable
Recherches Sur l'Art de Parvenir (Ed.1868) Maurice Joly / Book Paperback
common.buy 7 905 Ft
Theatre Menandre / Book Paperback
common.buy 4 091 Ft
Kolej jablonowska Bogdan Pokropinski / Book Paperback
common.buy 4 640 Ft
Sin City Damulka warta grzechu Tom 2 Frank Miller / Book Hardback
common.buy 4 940 Ft
Comparativo entre fundacao rasa do tipo sapata e radier Denis Vieira / Book Paperback
common.buy 12 643 Ft
Para empezar a pintar al guache Mercedes Braunstein / Book Paperback
common.buy 9 120 Ft
Licht Brockmann/Bargmann / Audio Audio CD
common.buy 8 956 Ft

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

The Fountain of Youth: Or Curing by Water Benedict Lust / Book Paperback
common.buy 10 443 Ft
Lessons from Legends: 12 Hall of Fame Coaches on Leadership, Life, and Leaving a Legacy Scott Bedgood / Book Hardback
common.buy 8 571 Ft
Alice's Adventures in Wonderland LEWIS CAROLL / Book Hardback
common.buy 7 511 Ft
Poet Anderson ...in Darkness DeLonge Tom / Book Hardback
common.buy 5 770 Ft
Oneness Jim O'Neill / Book Paperback
common.buy 4 016 Ft
Beyond the Hollow: a teen travel romance Mrs Kristy Tate / Book Paperback
common.buy 5 770 Ft
The Law of Christ: A Theological Proposal A Blake White / Book Paperback
common.buy 5 756 Ft
Alice, s Adventures In Wonderland Lewis Carroll / Book Paperback
common.buy 2 618 Ft
New York State Penal Code 2017 John Snape / Book Paperback
common.buy 13 985 Ft
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 6 831 Ft
Lonely Planet Pocket Rome Alexis Averbuck / Book Paperback
common.buy 6 249 Ft
The Art of Mandolin Making Dominik Kreuzer / Book Hardback
common.buy 24 202 Ft
Top
Timelines of Everything: From Woolly Mammoths to World Wars DK / Book Hardback
common.buy 8 538 Ft
Rodeo Clown Nick Gordon / Book Hardback
common.buy 12 765 Ft
Einstein the Science Dog Melissa Morrissey / Book Hardback
common.buy 7 422 Ft
Ivory Throne: Chronicles of the House of Travancore Manu S. Pillai / Book Paperback
common.buy 9 120 Ft
MYP Mathematics 4&5 Standard Print and Enhanced Online Course Book Pack Rose Harrison / Book Paperback
common.buy 28 922 Ft
Hind Head: Or The English Switzerland And Its Literary And Historical Associations (1898) Thomas Wright / Book Paperback
common.buy 10 799 Ft
Nimrod: A Dramatic Poem in Five Acts (1848) Robert William Jameson / Book Paperback
common.buy 11 170 Ft
Top
Breaking Free of Child Anxiety and OCD Eli R. Lebowitz / Book Paperback
common.buy 6 249 Ft
Imray Chart M8 Imray / Printed items Map
common.buy 10 950 Ft
Spellcasting Oracle Cards Barbara Meiklejohn-Free / Printed items Cards
common.buy 6 873 Ft
Double for Your Trouble Katherine Ruonala / Book Paperback
common.buy 8 909 Ft
Top
Call Down the Hawk (The Dreamer Trilogy, Book 1) Maggie Stiefvater / Book Hardback
common.buy 6 249 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?