Verificar estado da encomenda

Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Computer-aided Verification American Mathem American Mathem

Computer-aided Verification

American Mathem American Mathem

Língua

Inglês

Livro Livro de capa dura

Livro Computer-aided Verification American Mathem American Mathem

Código Libristo: 06319043

Editoras American Mathematical Society, junho 1991

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Descrição completa

Código Libristo: 06319043

?

points

374 b

154.65 €

50% de hipóteses Procuremos no mundo Quando vou receber o meu livro?

Política de devolução de 30 dias

Os clientes também compraram

ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi

/

Capa mole

19.84 €

Zeis Mati Blum

/

Capa mole

13.36 €

Nuvole Bianche Nessa 19971995

/

Capa mole

12.65 €

Lettres De Gerbert (983-997) Pub. Avec Une Introduction Et Des Notes...

/

Capa mole

25.41 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Computer-aided Verification

Autor American Mathem American Mathem

Língua

Inglês

Encadernação Livro - Livro de capa dura

Data de emissão 1991

EAN 9780821865941

ISBN 9780821865941

Código Libristo 06319043

Editoras American Mathematical Society

Peso 666

Categorias

Matemática & ciência > Matemática > Álgebra

Informática & tecnologia da informação > Ciência informática

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

Integrative Cardiovascular Chinese Medicine Anika Al-Shura

/

Livro de capa dura

109.38 €

Crystal Path Georgina Easterbrook

/

Livro de capa dura

18.12 €

Moo-Cow Kung-Fu-Cow Nick Sharratt

/

Livro concertina

5.76 €

Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew

/

Capa mole

14.88 €

Getting Started with Grails Rudolph

/

Capa mole

18.52 €

Wild Oats Or The Strolling Gentlemen John O'Keeffe

/

Livro de capa dura

40.81 €

Patterns of a Network Economy Börje Johansson

/

Capa mole

99.15 €

Sculptured Thin Films Russell F. Messier

/

Livro de capa dura

83.14 €

Responsible Management of Information Systems Stahl

/

Livro de capa dura

77.17 €

Invention of the Moving Assembly Line Dennis Abrams

/

Livro de capa dura

34.43 €

Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation

/

Capa mole

46.07 €

Computer-aided Method Engineering Ajantha Dahanayake

/

Livro de capa dura

72.41 €

First World, Third World William Ryrie

/

Livro de capa dura

99.15 €

Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology

/

Capa mole

48.30 €

150 Idees Recues Sur L'Histoir FL

/

Capa mole

20.85 €