Catalog > Scienza > Medicina > Soggetti clinici > 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

Supporto

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

€57.90

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato PDF ● ISBN 9783642136788 ● Editore Alessandro Aldini & Marco Bernardo ● Casa editrice Springer Berlin Heidelberg ● Pubblicato 2010 ● Scaricabile 3 volte ● Moneta EUR ● ID 6321335 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46.232 Ebook in questa categoria

Joseph G. Brand: Chemical Senses

This book focuses on the initial biochemical and biophysical aspects of taste and olfaction. It is intended for a wide audience, both those already familiar with the chemical senses and those biochem …

Copertina di Tor Wo (Plastic Surgery, Dept of Surgery, Prince of Wales Hospital, Hong Kong) Chiu: Stone’s Plastic Surgery Facts: A Revision Guide, Fourth Edition

Tor Wo (Plastic Surgery, Dept of Surgery, Prince of Wales Hospital, Hong Kong) Chiu: Stone’s Plastic Surgery Facts: A Revision Guide, Fourth Edition

Stone”s Plastic Surgery Facts 4e provides a complete revision tool for the FRCS exit examination in plastic surgery. Written in the form of notes and lists, the full range of plastic surgery topics …

Copertina di Syed Abdullah Al-Haddad & Peter Alwyn Bodkin: Neurosurgery

Syed Abdullah Al-Haddad & Peter Alwyn Bodkin: Neurosurgery

This new edition of Neurosurgery: The Essential Guide to the Oral and Clinical Neurosurgical Exam provides a concise and practical guidebook of the core knowledge and principles for the International …

Copertina di Beth A. Winkelstein: Orthopaedic Biomechanics

Beth A. Winkelstein: Orthopaedic Biomechanics

Given the strong current attention of orthopaedic, biomechanical, and biomedical engineering research on translational capabilities for the diagnosis, prevention, and treatment of clinical disease st …

Copertina di June Andrews: You Need To Know About Dementia

June Andrews: You Need To Know About Dementia

Across the world, 44.4 million people suffer with dementia. Hundreds of millions of people are affected by the dementia of parents, partners, siblings or friends. And as much of the world struggles w …

Copertina di Declan Costello & Guri Sandhu: Practical Laryngology

Declan Costello & Guri Sandhu: Practical Laryngology

Practical Laryngology is an invaluable guide to laryngology. It covers all the relevant areas in the field, from basic science to disorders and diseases to in-clinic procedures and the future of lary …

Copertina di H.J.G.H. Oosterhuis: Myasthenia Gravis

H.J.G.H. Oosterhuis: Myasthenia Gravis

Myasthenia Gravis is a neuromuscular disease, caused by an auto-immune process interfering with the acetylcholine receptors at the postsynaptic membrane of the muscle. This book provides guidance on …

Copertina di 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 …

Copertina di G. I. Bryne: Interferon and Nonviral Pathogens

G. I. Bryne: Interferon and Nonviral Pathogens

This book explores the important role of the interferons in infections due to nonviral intracellular pathogens. It deals with the induction of interferons by a variety of intracellular microorganisms …

Copertina di Information Resources Management Association: Medical Tourism: Breakthroughs in Research and Practice

Information Resources Management Association: Medical Tourism: Breakthroughs in Research and Practice

Pagina successiva >>>