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

Formal Techniques in Real-Time and Fault-Tolerant Systems

Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Língua InglêsInglês
Livro Capa mole
Livro Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph
Código Libristo: 02092588
Editoras Springer, Berlin
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolera... Descrição completa
? points 132 b
54.08 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Der Natur auf der Spur / Jogo/brinquedo Jogo
common.buy 17.88 €
Le pavillon vert / Il Padiglione verde IACUZZI / Livro Capa mole
common.buy 14.06 €
Nous sommes tous des féministes / We should all be feminists Adichie / Livro Capa mole
common.buy 11.25 €
MARIA Y COCO EN VITAMINAPOLIS MARIA HERNANDEZ BASCUÑANA / Livro Livro
common.buy 15.37 €
Dixit10/Mirrors (rozšíření) - Rodinná hra Jean-Louis Roubira / Jogo/brinquedo Jogo
common.buy 23.31 €
Maškrtné dinosaury / Livro Capa mole
common.buy 16.18 €
Sandro Botticelli... Sandro Botticelli / Livro Capa mole
common.buy 20.60 €
Meine Erlebnisse in der Irrenanstalt Herman Charles Merivale / Livro Capa mole
common.buy 14.77 €
Beati Petri Canisii, Societatis Iesu, Epistulae et acta Дмитрий Киселев / Livro Capa mole
common.buy 16.48 €
Homo sapiens: die Krone der Schoepfung Martin Rhonheimer / Livro Livro de capa dura
common.buy 80.72 €
Natur und Technik - Naturwissenschaften: Neubearbeitung - Rheinland-Pfalz - 5./6. Schuljahr: Naturwissenschaften Volker Abegg / Livro Livro de capa dura
common.buy 41.11 €
Revision Der Indo-Australischen Opiinae M. Fischer / Livro Livro de capa dura
common.buy 146.07 €
Fix und Fax, Gesammelte Abenteuer. Bd.1 Jürgen Kieser / Livro Capa mole
common.buy 12.36 €
Philosophie der Nachmoderne Max Lorenzen / Livro Capa mole
common.buy 30.25 €
Dialog im Hamburger Religionsunterricht - aus der Sicht muslimischer Schülerinnen und Schüler Simon Hecker / Livro Capa mole
common.buy 20.40 €
Zeit Constantins Des Grossen Jacob Chr. Burckhardt / Livro Capa mole
common.buy 23.51 €
Depiction of Ireland in Martin McDonaghs Plays Martin Steger / Livro Capa mole
common.buy 17.99 €

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

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 Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor Mathai Joseph
Língua Inglês
Encadernação Livro - Capa mole
Número de páginas 232
EAN 9783540503026
ISBN 3540503021
Código Libristo 02092588
Editoras Springer, Berlin
Peso 400
Dimensões 156 x 234 x 12

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 > 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

Algorithms and Data Structures Frank Dehne / Livro Capa mole
common.buy 54.08 €
Ethics in the Age of the Spirit Howard N. Kenyon / Livro Livro de capa dura
common.buy 53.68 €
Koren Shalem Siddur with Tabs, Compact, Pink Koren Publishers / Livro Capa mole
common.buy 22.01 €
Good Sugar Bad Sugar Allen Carr / Livro Capa mole
common.buy 14.67 €
Zebrafish: Cellular and Developmental Biology, Part A Cellular Biology Monte Westerfield / Livro Livro de capa dura
common.buy 188.19 €
Priest & the Princess: the Assignment: Book 2 A. J. Kretzmar / Livro Capa mole
common.buy 15.47 €
Intuition, Imagination, and Philosophical Methodology Tamar Szabo Gendler / Livro Livro de capa dura
common.buy 152.40 €
Chef Shoshana Barer / Livro Capa mole
common.buy 16.68 €
Walk Through the Temple of Your Own Body Terry Swiger / Livro Livro de capa dura
common.buy 27.94 €
Improve your Skills: Use of English for First Student's Book without key Malcom Mann & Steve Taylor-Knowles / Livro Capa mole
common.buy 17.48 €
Sketch! France Belleville-Van Stone / Livro Capa mole
common.buy 14.97 €
Creative Arts in Counseling and Mental Health Robert J. King / Livro Capa mole
common.buy 53.88 €
The Analects of Confucius Confucius / Livro Capa mole
common.buy 13.16 €
Down into the Nether Danica Davidson / Livro Capa mole
common.buy 9.24 €
James Drake - Red Drawings and White Cut-outs Carter Foster / Livro Livro de capa dura
common.buy 55.48 €
WORKS: HOLMBY HOUSE GEOR WHYTE-MELVILLE / Livro Livro de capa dura
common.buy 39.00 €
Wink of an Eye - Volume I H Peter Hoffman / Livro Capa mole
common.buy 20.70 €
Genetic Engineering of Plants and Microorganisms Important for Agriculture E. Magnien / Livro Livro de capa dura
common.buy 247.81 €
Charles Edenshaw Daina Augaitis / Livro Livro de capa dura
common.buy 37.19 €
Who Controls the Internet? Jack Goldsmith / Livro Capa mole
common.buy 22.41 €
Food for Thought BROWN ALTON / Livro Livro de capa dura
common.buy 22.41 €
Principal
Firestein & Kelley’s Textbook of Rheumatology, 2-Volume Set Gary S. Firestein / Livro Livro de capa dura
common.buy 464.56 €
Schoolmaster Anton Pavlovich Chekhov / Livro Capa mole
common.buy 12.36 €
Principal
Flight: The Complete History of Aviation GRANT R G G / Livro Livro de capa dura
common.buy 37.59 €

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?