Catalog > Naturwissenschaft > Medizin > klinische Fächer > 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 von Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages (PDF)

€57.90

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Englisch ● Format PDF ● ISBN 9783642136788 ● Herausgeber Alessandro Aldini & Marco Bernardo ● Verlag Springer Berlin Heidelberg ● Erscheinungsjahr 2010 ● herunterladbar 3 mal ● Währung EUR ● ID 6321335 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46.232 Ebooks in dieser Kategorie

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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 …

Cover von 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 von 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 …

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

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

nächste Seite >>>