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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Symbolic Model Checking

Língua InglêsInglês
Livro Livro de capa dura
Livro Symbolic Model Checking Kenneth L. McMillan
Código Libristo: 42163944
Editoras Kluwer Academic Publishers, julho 1993
Formal verification means having a mathematical model of a system, a language for specifying desired... Descrição completa
? points 214 b
88.41 €
Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

Sputnik Christian Berkel / Áudio CD de áudio
common.buy 20.75 €
Schau genau, per St Jogo/brinquedo Jogo
common.buy 15.69 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Livro Capa mole
common.buy 11.94 €
Necromáquina ROSSANA REGUILLO / Livro Capa mole
common.buy 20.45 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Livro Capa mole
common.buy 17.61 €
Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce / Livro Capa mole
common.buy 27.13 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Livro Capa mole
common.buy 24.60 €
Vous et votre voiture / Livro Capa mole
common.buy 32.20 €
Polacy w służbie Moskali Chwalba Andrzej / Livro Capa mole
common.buy 27.03 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Livro Capa mole
common.buy 32.70 €
Malbuch für Geist & Seele Dana Zimmermann / Livro Capa mole
common.buy 8.09 €
Introdução à Química dos Alimentos Paulo Figueiredo / Livro Capa mole
common.buy 42.44 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Livro Capa mole
common.buy 13.16 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Livro Capa mole
common.buy 42.02 €
Jenny Fanny Lewald / Livro Capa mole
common.buy 14.27 €
Yoga-Anatomie 3D Ray Long / Livro Capa mole
common.buy 18.52 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Livro Livro de capa dura
common.buy 49.31 €

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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 Symbolic Model Checking
Autor Kenneth L. McMillan
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 1993
Número de páginas 194
EAN 9780792393801
ISBN 0792393805
Código Libristo 42163944
Editoras Kluwer Academic Publishers
Peso 426
Dimensões 179 x 229 x 18

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes
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

Book of Bees Piotr Socha / Livro Livro de capa dura
common.buy 18.42 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Livro Capa mole
common.buy 17.51 €
South Asian Politics and Religion Donald Eugene Smith / Livro Livro de capa dura
common.buy 196.48 €
Clip Studio Paint by Example Ludovico Serra / Livro Capa mole
common.buy 52.15 €
Encyclopaedia of World Bridges David McFetrich / Livro Livro de capa dura
common.buy 32.00 €
Great American Decades Puzzle Book 2000s / Livro Capa mole
common.buy 7.59 €
Em breve
MBS Crown / Livro Capa mole
common.buy 11.74 €
Heart of Valor: Gay Romance Dj Monroe / Livro Capa mole
common.buy 7.99 €
Prima Facie Gunnar Farinha / Livro Capa mole
common.buy 8.80 €
Place of the Beautiful in the City Plan John Nolen / Livro Livro de capa dura
common.buy 22.98 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 91.04 €
Atomic Properties in Hot Plasmas Jacques Bauche / Livro Livro de capa dura
common.buy 91.95 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Livro Capa mole
common.buy 22.98 €
Surgery of the Stomach Horst D. Becker / Livro Capa mole
common.buy 91.95 €
Principal
NKJV, Simply Charming Bible Thomas Nelson / Livro Livro de capa dura
common.buy 21.16 €
Voicework in Music Therapy Felicity Baker / Livro Capa mole
common.buy 67.34 €
Usborne Geography Encyclopedia Gillian Doherty / 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?