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

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Algebraic Methodology and Software Technology Maurice Nivat
Código Libristo: 05274595
Editoras Springer, Berlin, novembro 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Descrição completa
? points 222 b
91.95 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Livro Livro de capa dura
common.buy 25.61 €
Toisilleen luodut Ranta / Audiolivro MP3
common.buy 5.97 €
CIA Tim Weiner / Livro Capa mole
common.buy 14.37 €
Návštěva na Godenholmu Ernst Jünger / Livro Capa mole
common.buy 9.11 €
Principal
Nevera Juliet Rosenfeld / Livro Capa mole
common.buy 14.68 €
English Folk Tales of Coast and Sea Lisa Schneidau / Livro Livro de capa dura
common.buy 13.87 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Livro Capa mole
common.buy 25.41 €
Det som inte syns Kopparklint / Audiolivro MP3
common.buy 5.26 €
Novo
Pringel und Finn Wreaders Verlag / Livro Livro de capa dura
common.buy 13.56 €
La Charmante librairie des amours lointaines Jenny Colgan / Livro Capa mole
common.buy 10.93 €
Wahrungskrieg IV Song Hongbing / Livro Capa mole
common.buy 23.79 €
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 12.14 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Livro Livro de capa dura
common.buy 22.78 €
Au commencement du temps Bogdanov / Livro Capa mole
common.buy 19.84 €
L'Idiot de la famille Sartre / Livro Livro de capa dura
common.buy 59.04 €
Vier Stern Stunden Daniel Glattauer / Livro Livro de capa dura
common.buy 11.94 €
Koerper trifft Seele Viktoria Georgi / Livro Capa mole
common.buy 11.64 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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 Algebraic Methodology and Software Technology
Autor Maurice Nivat, Martin Wirsing
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1996
Número de páginas 647
EAN 9783540614630
ISBN 354061463X
Código Libristo 05274595
Editoras Springer, Berlin
Peso 850
Dimensões 156 x 234 x 33

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 > 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 > Análise e conceção de sistemas
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Sistemas operativos
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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Livro Livro de capa dura
common.buy 116.57 €
Computational Mechanics 95, 4 S.N. Atluri / Livro Capa mole
common.buy 91.95 €
The Cavalier George Washington Cable / Livro Capa mole
common.buy 6.88 €
Principal Em breve
Cruel Crown Victoria Aveyard / Livro Capa mole
common.buy 6.78 €
Em breve
Attack On Titan: Colossal Edition 3 Hajime Isayama / Livro Capa mole
common.buy 29.67 €
Radical Traditions in Education in the 21st Century Ken Jones / Livro Capa mole
common.buy 40.00 €
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Livro Capa mole
common.buy 32.50 €
Most Way Home Kevin Young / Livro Capa mole
common.buy 12.24 €
Great Antonio Elise Gravel / Livro Livro de capa dura
common.buy 9.00 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Livro Capa mole
common.buy 15.59 €
Eagle Visions Cindi Clarke Summerlin / Livro Capa mole
common.buy 7.99 €
The Nigger from The Black Lagoon Shane Williams / Livro Livro de capa dura
common.buy 18.22 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Livro Capa mole
common.buy 95.09 €
Extracted Clover Autrey / Livro Capa mole
common.buy 8.80 €
Collins Birds of the World Norman Arlott / Livro Livro de capa dura
common.buy 68.15 €
Energy for Propulsion Akshai K. Runchal / Livro Capa mole
common.buy 98.64 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Livro Capa mole
common.buy 33.51 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Livro Capa mole
common.buy 41.52 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 167.71 €
Thoughts to Reflect On Robert Burns / Livro Livro de capa dura
common.buy 21.77 €
Beginning Biblical Hebrew Robert D. Sacks / Livro Capa mole
common.buy 14.88 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Livro Capa mole
common.buy 99.15 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Livro Livro
common.buy 2 808.36 €
After the Ice Steven Mithen / Livro Capa mole
common.buy 15.69 €

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?