Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Duration Calculus

A Formal Approach to Real-time Systems

Língua InglêsInglês
Livro Livro de capa dura
Livro Duration Calculus Zhou Chaochen
Código Libristo: 01562989
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, dezembro 2003
Duration calculus constitutes a formal approach to the development of real-time systems; as an inter... Descrição completa
? points 262 b
107.91 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Veranderungen der Kreditvergabepraxis von Banken an mittelstandische Unternehmen Markus Schäfer / Livro Capa mole
common.buy 45.05 €
Arabischer Titel ____ _____ _ _______ / Livro Capa mole
common.buy 27.45 €
Der kleine Gernhardt Robert Gernhardt / E-book Adobe ePub DRM
common.buy 16.39 €
Kioto2 : cómo gestionar el efecto invernadero global Isabel Bermejo / Livro Capa mole
common.buy 34.30 €
La Educación a Tiempo Completo en Curitiba y el Programa Más Educación / Livro Capa mole
common.buy 65.59 €
Reakcje. Prywatne życie atomów Peter Atkins / Livro Capa mole
common.buy 17.99 €
POEMAS DE AMOR, DOLOR Y ESPERANZA ARRIBAS MARTINEZ / Livro Livro
common.buy 17.29 €
Die vielen Farben des Autismus Thomas Girsberger / Livro Capa mole
common.buy 25.84 €
SOY PILGRIM (CAMPAÑA DE VERANO EDICION LIMITADA) HAYES / Livro Capa mole
common.buy 10.55 €
Optika a prístroje I pre UO fotograf Miriam Andrejiová Ján / Livro Capa mole
common.buy 38.31 €
Y Tortsh Jon Roberts / Livro Capa mole
common.buy 9.24 €
Feldenkrais Eli Wadler Helmut Wehren / Livro Capa mole
common.buy 12.46 €
Old Leather, Black Moroccan, Midi, Lin Paperblanks / Calendário/Diário Diário
common.buy 15.68 €
Zahlenzauber - Mathematik für Grundschulen - Ausgabe G für Baden-Württemberg, Hessen, Rheinland-Pfalz und Saarland - 2010 - 3. Schuljahr Bettina Betz / Livro Capa mole
common.buy 30.46 €
Full-Pay-Out Leasing versus Fremdfinanzierung Anna Fendel / Livro Capa mole
common.buy 15.18 €
Jane Eyre Charlotte Brontë / Livro Livro de capa dura
common.buy 7.23 €
Luxusgegenstände und Kunstwerke vom Mittelalter bis zur Gegenwart Markwart Herzog / Livro Livro de capa dura
common.buy 68.31 €
Jekonometrika Ajzhan Ibyzhanova / Livro Capa mole
common.buy 51.48 €
Vodní nůž Paolo Bacigalupi / Livro Livro de capa dura
common.buy 15.38 €
Das Mysterium oder heiliges Geheimnis der wunderdemütigen Fußwaschung Jesu Christi Carl von Reifitz / Livro Capa mole
common.buy 39.11 €
Figures d'Hier Et d'Aujourd'hui (Ed.1883) Victor Fournel / Livro Capa mole
common.buy 26.94 €
Collier de La Reine Alexandre Dumas / Livro Capa mole
common.buy 17.99 €
Ayudantes de Instituciones Penitenciarias. Test y casos prácticos CLAVIJO GAMERO / Livro Capa mole
common.buy 58.73 €
Reflexiones Idries Shah / Livro Capa mole
common.buy 13.77 €

Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Duration Calculus
Autor Zhou Chaochen, M. R. Hansen
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2003
Número de páginas 250
EAN 9783540408239
ISBN 3540408231
Código Libristo 01562989
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1210
Dimensões 155 x 235 x 19

Categorias

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Color in Anna Akhmatova's Early Poetry Alsu Shakirova / Livro Capa mole
common.buy 49.47 €
English Writings of Hu Shih Hu Shih / Livro Livro de capa dura
common.buy 107.91 €
Introduction to Radiation Protection Claus Grupen / Livro Capa mole
common.buy 79.04 €
Chicken Licken MAIRI MACKINNON / Livro Capa mole
common.buy 8.14 €
Our Cosmic Ancestors Maurice Chatelain / Livro Capa mole
common.buy 14.58 €
Technology and Business Model Innovation: Challenges and Opportunities Bahaaeddin Alareeni / Livro Capa mole
common.buy 224.58 €
JUST FOR THE SUMMER JIMENEZ ABBY / Livro Capa mole
common.buy 22.42 €
Analysis Of Factors Affecting Investment Decisions Of Commercial Banks Otieno Jared / Livro Capa mole
common.buy 223.97 €
Essentials of Tissue Banking George Galea / Livro Capa mole
common.buy 253.64 €
History of Financial Accounting (RLE Accounting) J. Edwards / Livro Capa mole
common.buy 74.52 €
Paper Boats Erndell Scott / Livro Capa mole
common.buy 14.88 €
WORLDS WILDEST WATERS BARR CATHERINE / Livro Livro de capa dura
common.buy 21.02 €
The Hidden Blade: A Prequel to My Beautiful Enemy Sherry Thomas / Livro Capa mole
common.buy 14.78 €
Em breve
Martin Parr: Beach Therapy Martin Parr / Livro Livro de capa dura
common.buy 33.58 €
A Spiritual Clinic J. Oswald Sanders / Livro Capa mole
common.buy 12.16 €
Special Effects Lettering and Calligraphy: A Beginner's Step-By-Step Guide to Creating Amazing Lettered Art - Explore New Styles, Colors, and Mediums Frösén / Livro Capa mole
common.buy 22.03 €
Homeward - Finde deine Bestimmung 3D, 1 Blu-ray Michael Johnson / Vídeo Blu-ray
common.buy 18.50 €
Mayo Clinic on Healthy Aging, 2nd Edition: Add Life to Your Years and Years to Your Life Chen / Livro Livro de capa dura
common.buy 22.12 €
The Pilgrimage of Grace, 1536-1537, and the Exeter Conspiracy, 1538; Volume 2 Ruth Dodds / Livro Livro de capa dura
common.buy 36.20 €
Do You Know?: Dinosaurs and the Prehistoric World Pascale Hedelin / Livro Livro de capa dura
common.buy 13.87 €
Big Book of Killer Su Doku Book 1 Richardson Puzzles and Games / Livro Capa mole
common.buy 10.15 €
Strength Training Diet & Nutrition : 7 Key Things To Create The Right Strength Training Diet Plan For You Jason Scotts / E-book Adobe ePub DRM
common.buy 4.42 €
Ruckers Grant O´Brien / Livro Capa mole
common.buy 66.57 €
Principal
Rook & Rebel Kate Crew / Livro Capa mole
common.buy 12.56 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?