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

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Língua InglêsInglês
Livro Capa mole
Livro Verification: Theory and Practice Nachum Dershowitz
Código Libristo: 01559051
Editoras Springer, Berlin, novembro 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Descrição completa
? points 249 b
102.97 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Zauberwelten, 1 DVD Ehrlich Brothers / Vídeo DVD
common.buy 14.46 €
Les industries métallurgique T3 REDON / Livro Capa mole
common.buy 33.68 €
Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart / Livro Capa mole
common.buy 30.03 €
100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Livro Livro de capa dura
common.buy 62.81 €
EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS / Livro Livro
common.buy 6.36 €
Säggs'sch - Fast vergessen Gunter Böhnke / Livro Livro de capa dura
common.buy 6.77 €
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Livro Livro
common.buy 16.88 €
Platons Totenbuch Holger Kalweit / Livro Capa mole
common.buy 21.84 €
Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout / Livro Capa mole
common.buy 7.27 €
Reconectar con el Alma Dra Gabriella Kortsch / Livro Capa mole
common.buy 13.24 €
Bar de La Mer Jacques Almira / Livro Capa mole
common.buy 10.51 €
Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier / Livro Capa mole
common.buy 24.07 €
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Livro Capa mole
common.buy 19.01 €
Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger / Livro Capa mole
common.buy 65.94 €
Supply Chain Spuren im Schnee Thomas Ziegler / Livro Capa mole
common.buy 56.84 €
Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill / Livro Capa mole
common.buy 51.68 €
Kulturpolitik und Theater Philipp Ther / Livro Capa mole
common.buy 55.32 €

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

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 Verification: Theory and Practice
Autor Nachum Dershowitz
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2004
Número de páginas 788
EAN 9783540210023
ISBN 3540210024
Código Libristo 01559051
Editoras Springer, Berlin
Peso 988
Dimensões 156 x 234 x 40

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 > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
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 > 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

VLSI-SoC: From Systems to Silicon Ricardo Reis / Livro Livro de capa dura
common.buy 109.44 €
Witches Be Crazy: Witch Wicca Spell Paper Bright Halloween 200 Pages Gg Stoutsong / Livro Capa mole
common.buy 8.99 €
Knowing the Ways of God John C Fenn / Livro Capa mole
common.buy 11.52 €
WISHYPOOFS & HICCUPS Marion Lindsay / Livro Capa mole
common.buy 5.86 €
A DEFENCE OF THE EXPOSITION OF THE DOCTR WILLIAM WAKE / Livro Livro de capa dura
common.buy 30.94 €
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Livro Capa mole
common.buy 190.06 €
Dad Is the Best! Joshua D Hunt / Livro Capa mole
common.buy 33.57 €
Southern Storm Zondervan / Livro Capa mole
common.buy 9.20 €
Code of Honor Harold Coyle / Livro Capa mole
common.buy 19.21 €
Mongrel Hoyt Silva / Livro Capa mole
common.buy 9.09 €
Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney / Livro Capa mole
common.buy 32.77 €
Selling Solar Damian Miller / Livro Livro de capa dura
common.buy 264.72 €
Backroads and Byways of Indian Country Teresa Bitler / Livro Capa mole
common.buy 26.70 €
Theater of the Mind Neil Verma / Livro Livro de capa dura
common.buy 134.53 €
Deciphering Data Architectures James Serra / Livro Capa mole
common.buy 56.13 €

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?