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 €
phone Contacto phoneComo comprar

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Correct System Design Roland Meyer
Código Libristo: 09545743
Editoras Springer International Publishing AG, agosto 2015
This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Descrição completa
? points 107 b
44.25 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Ultima Amante Del Generalisimo Carlos Perez Ariza / Livro Capa mole
common.buy 13.36 €
Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner / Livro Livro de capa dura
common.buy 71.70 €
Tugent Spyl Sebastian Brant / Livro Livro de capa dura
common.buy 106.84 €
Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков / Artigos impressos Partituras
common.buy 7.59 €
Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул) / Livro Capa mole
common.buy 7.59 €
MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott / Livro Livro
common.buy 12.24 €

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst- Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst- Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

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 Correct System Design
Autor Roland Meyer, André Platzer, Heike Wehrheim
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2015
Número de páginas 279
EAN 9783319235059
ISBN 3319235052
Código Libristo 09545743
Editoras Springer International Publishing AG
Peso 4453
Dimensões 155 x 235 x 14

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
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
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Principal
Teenage Mutant Ninja Turtles: The IDW Collection Volume 1 Tom Waltz / Livro Livro de capa dura
common.buy 36.76 €
Dream Jobs in Math Colin Hynson / Livro Capa mole
common.buy 6.78 €
Principal
The Keys to the Gateway of Magic: Summoning the Solomonic Archangels & Demon Princes Stephen Skinner / Livro Livro de capa dura
common.buy 39.69 €
Praenomina Richard Stephen Charnock / Livro Livro de capa dura
common.buy 26.22 €
Dark Nights: Metal Scott Snyder / Livro Capa mole
common.buy 15.39 €
The Human Body Richard Walker / Livro Livro de capa dura
common.buy 22.98 €
Microwave Tomography Sima Noghanian / Livro Capa mole
common.buy 91.95 €
Professional Mobile Application Development Jeff McWherter / Livro Capa mole
common.buy 27.74 €
Reclaiming Caring in Teaching and Teacher Education Lisa S. Goldstein / Livro Capa mole
common.buy 32.70 €
Shadow of Rhiannon Sara Pope - Ramsey / Livro Capa mole
common.buy 16.30 €
Modern Societies Stephen K Sanderson / Livro Capa mole
common.buy 70.69 €
Longman Dictionary of Language Teaching and Applied Linguistics Richard W. Schmidt / Livro Livro de capa dura
common.buy 213.09 €
Mystical "Beatles" Dean Carter / Livro Livro de capa dura
common.buy 14.07 €
Software System Design Methods Josef K. Skwirzynski / Livro Capa mole
common.buy 91.95 €

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?