Catalog > Ciencia > Medicina > Sujetos clínicos > 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

Soporte

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

€57.90

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato PDF ● ISBN 9783642136788 ● Editor Alessandro Aldini & Marco Bernardo ● Editorial Springer Berlin Heidelberg ● Publicado 2010 ● Descargable 3 veces ● Divisa EUR ● ID 6321335 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Alessandro Aldini Marco Bernardo Alessandra Di Pierro Herbert Wiklicky

46.232 Ebooks en esta categoría

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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

Portada de 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 …

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

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

siguiente página >>>