Catalog > Sciences > Medicals > Clinical Subjects > Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

Alessandro Aldini & Marco Bernardo
Formal Methods for Quantitative Aspects of Programming Languages [PDF ebook]
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Support

Cover of Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

€57.90

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642136788 ● Editor Alessandro Aldini & Marco Bernardo ● Publisher Springer Berlin Heidelberg ● Published 2010 ● Downloadable 3 times ● Currency EUR ● ID 6321335 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46,658 Ebooks in this category

Cover of Victoria Lane & Carlos Reck: Pediatric Colorectal and Pelvic Surgery

Victoria Lane & Carlos Reck: Pediatric Colorectal and Pelvic Surgery

This new handbook teaches and explains the key principles in the management of complex pediatric colorectal diagnoses. By using case-based presentations, radiographic images, operative images with Mu …

Cover of Joseph G. (University of Miami, Coral Gables, Florida, USA) Hirschberg & Elli (Miami, Florida, USA) Kohen: Atlas of Cell Organelles Fluorescence

Joseph G. (University of Miami, Coral Gables, Florida, USA) Hirschberg & Elli (Miami, Florida, USA) Kohen: Atlas of Cell Organelles Fluorescence

Containing over 150 original photomicrographs accompanied by protocol information, Atlas of Cell Organelles Fluorescence delineates organelles structures, interaction, and organization into complexes …

Cover of Marcelo Luis Occhiutto & Mahendra Rai: Mycotic Keratitis

Marcelo Luis Occhiutto & Mahendra Rai: Mycotic Keratitis

Mycotic keratitis, also known asfungal keratitis, is commonly defined as an inflammation of the cornea. Globally, mycotic keratitis is more common as compared to others eye disorders. Though it occur …

Cover of Ruijiang Li & Sandy Napel: Radiomics and Radiogenomics

Ruijiang Li & Sandy Napel: Radiomics and Radiogenomics

Radiomics and Radiogenomics: Technical Basis and Clinical Applications provides a first summary of the overlapping fields of radiomics and radiogenomics, showcasing how they are being used to evaluat …

Cover of Fred Eboko: Public Policy Lessons from the AIDS Response in Africa

Fred Eboko: Public Policy Lessons from the AIDS Response in Africa

Public Policy Lessons from the AIDS Response in Africa examines how the interplay between national state dynamics in Africa and the global political arena has shaped the global AIDS response, and in …

Cover of Matthew (United Health Services Pain Management, NY) Bennett & Sahar Swidan: Advanced Therapeutics in Pain Medicine

Matthew (United Health Services Pain Management, NY) Bennett & Sahar Swidan: Advanced Therapeutics in Pain Medicine

Chronic pain places a tremendous burden on both the patient and the healthcare system. The use of opioids to address pain has resulted in negative impacts. As practitioners work to undo the current o …

Cover of Annalisa Casarin & Li-Chia Chen: Complementary and Alternative Medicine and Kidney Health

Annalisa Casarin & Li-Chia Chen: Complementary and Alternative Medicine and Kidney Health

Cover of Bobby Joseph Cherayil: Logic of Immunity

Bobby Joseph Cherayil: Logic of Immunity

Unveils how the immune system works and explores strategies for harnessing its potential for maintaining good health. Embark on a fascinating journey into the human immune system with The Logic of Im …

Cover of Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Nicolette (Loughborough University, UK) Bishop & Michael (Loughborough University, UK) Gleeson: Exercise Immunology

Exercise immunology is an important, emerging sub-discipline within exercise physiology, concerned with the relationship between exercise, immune function and infection risk. This book offers a compr …

Cover of Ghazi Asaad: Psychosomatic Disorders

Ghazi Asaad: Psychosomatic Disorders

Published in 1996, Psychosomatic Disorders is a valuable contribution to the field of Psychiatry/Clinical Psychology. …