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

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 249 b
103.11 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

Biblia treningu siłowego. Masa mięśniowa, idealna sylwetka, skuteczne ćwiczenia i programy treningów w kulturystyce i fitness wyd. 2021 Grzegorz Andrzejewski / Livro Capa mole
common.buy 18.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 29.64 €
Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca / Livro Livro de capa dura
common.buy 60.61 €
Necromáquina ROSSANA REGUILLO / Livro Capa mole
common.buy 22.46 €
Polacy w służbie Moskali Chwalba Andrzej / Livro Capa mole
common.buy 30.75 €
Schau genau, per St Jogo/brinquedo Jogo
common.buy 17.40 €
Sputnik Christian Berkel / Áudio CD de áudio
common.buy 25.09 €
Das Fachbuch zum Taschenrechner Rebell SC2060S / Livro Capa mole
common.buy 12.74 €
Cycle de l'Atlantide, tome 1 Ariel Riseln / Livro Capa mole
common.buy 20.84 €
TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ / Livro Capa mole
common.buy 27.01 €
Vous et votre voiture / Livro Capa mole
common.buy 37.13 €
Enigme des vacances : The captain is missing! 5e/4e Sylvie Rouch / Livro Livro de capa dura
common.buy 9.60 €
Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta / Livro Capa mole
common.buy 36.42 €
Yoga-Anatomie 3D Ray Long / Livro Capa mole
common.buy 24.38 €
Malbuch für Geist & Seele Dana Zimmermann / Livro Capa mole
common.buy 9.30 €
Introdução à Química dos Alimentos Paulo Figueiredo / Livro Capa mole
common.buy 42.40 €
Jenny Fanny Lewald / Livro Capa mole
common.buy 17.09 €
Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos / Livro Capa mole
common.buy 14.16 €
Breve diccionario etimológico de la lengua castellana JOAN COROMINES / Livro Capa mole
common.buy 46.85 €
Gog Et Magog Louis-G / Livro Capa mole
common.buy 25.29 €

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 22.66 €
Complete Account Of The Settlement At Port Jackson Watkin Tench / Livro Capa mole
common.buy 21.14 €
South Asian Politics and Religion Donald Eugene Smith / Livro Livro de capa dura
common.buy 284.97 €
Transgender and Intersex: Theoretical, Practical, and Artistic Perspectives Stefan Horlacher / E-book Adobe ePub DRM
common.buy 107.97 €
Encyclopaedia of World Bridges David McFetrich / Livro Livro de capa dura
common.buy 39.36 €
Clip Studio Paint by Example Ludovico Serra / Livro Capa mole
common.buy 61.01 €
Confessions Of An Opera Singer (1918) Kathleen Howard / Livro Livro de capa dura
common.buy 42.70 €
Great American Decades Puzzle Book 2000s / Livro Capa mole
common.buy 7.98 €
Em breve
MBS Crown / Livro Capa mole
common.buy 14.66 €
How to Stop Living Paycheck to Paycheck Phil Wall / Livro Capa mole
common.buy 17.30 €
Heart of Valor: Gay Romance Dj Monroe / Livro Capa mole
common.buy 9.40 €
Principal
Making Dances That Matter Anna Halprin / Livro Capa mole
common.buy 21.65 €
ALBANIA'S RIGHTS AND CLAIMS TO INDEPENDA CHRISTO ANAST [DAKO / Livro Livro de capa dura
common.buy 30.45 €
Prima Facie Gunnar Farinha / Livro Capa mole
common.buy 9.81 €
Place of the Beautiful in the City Plan John Nolen / Livro Livro de capa dura
common.buy 25.59 €
Principal Em breve
Simon Leach's Pottery Handbook Simon Leach / Livro Livro de capa dura
common.buy 32.68 €
History of Australian Exploration from 1788 to 1888. Ernest Favenc / Livro Capa mole
common.buy 26.91 €
Florida Gl Jahoda / Livro Capa mole
common.buy 18.71 €
Surgery of the Stomach Horst D. Becker / Livro Capa mole
common.buy 108.58 €
Principal
NKJV, Simply Charming Bible Thomas Nelson / Livro Livro de capa dura
common.buy 24.58 €
Atomic Properties in Hot Plasmas Jacques Bauche / Livro Livro de capa dura
common.buy 108.58 €
Usborne Geography Encyclopedia Gillian Doherty / Livro Capa mole
common.buy 19.32 €
Readings for Reflective Teaching in Early Education Dr Jennifer Colwell / Livro Capa mole
common.buy 46.34 €
Voicework in Music Therapy Felicity Baker / Livro Capa mole
common.buy 64.86 €

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?