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

Model Checking

Língua InglêsInglês
Livro Livro de capa dura
Livro Model Checking Clarke
Código Libristo: 19285025
Editoras MIT Press Ltd, dezembro 2018
An expanded and updated edition of a comprehensive presentation of the theory and practice of model...
? points 181 b
74.19 €
Armazenamento externo Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Echiche nke Mmakọ Ewumewu Obibi Mwepụta Ọhụrụ MATTHIAS FIEDLER / Livro Capa mole
common.buy 14.53 €
John Cage-Journeys In Sound Allan Miller / Vídeo DVD
common.buy 35.28 €
Ein Leben in eigenen Worten Freddie Mercury / Livro Livro de capa dura
common.buy 25.36 €
Principal
EL VIENTO CONOCE MI NOMBRE ALLENDE / Livro Capa mole
common.buy 14.53 €
Die Duftapotheke (1). Ein Geheimnis liegt in der Luft Anna Ruhe / Livro Livro de capa dura
common.buy 14.33 €
Blue Lock - Episode Nagi T01 / Livro Capa mole
common.buy 9.21 €
Strategisch Mobel verkaufen II Paul Reinhold Linn / E-book Adobe ePub DRM
common.buy 6.51 €
Em breve
Young Adult ELI Readers - Italian Luigi Pirandello / Livro Livro de capa dura
common.buy 11.22 €
NIHONGO SO-MATOME N4 (GRAMMAR, READING, LISTENING) AVEC CD HITOKO / Livro Capa mole
common.buy 28.27 €
Prinzessin Sakura 2in1 05 Rosa Vollmer / Livro Capa mole
common.buy 9.01 €
Rozkvět srdce - zažitky s Paramahamsou Vishwanandou / Livro Capa mole
common.buy 11.22 €
Acustica Arquitectonica en Espacios Educativos Germán Said / Livro Capa mole
common.buy 64.56 €
Estimular y aprender JESUS JARQUE GARCIA / Livro Capa mole
common.buy 25.37 €
Poručník Lady Fiony Amanda Scott / Livro Livro de capa dura
common.buy 9.92 €
Escritos de vanguardia DANIIL 1HARMS / Livro Livro
common.buy 13.13 €
Cattive compagnie Ruth Newman / Livro Capa mole
common.buy 11.92 €

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

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 Model Checking
Autor Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Língua Inglês
Encadernação Livro - Livro de capa dura
Data de emissão 2018
Número de páginas 424
EAN 9780262038836
ISBN 9780262038836
Código Libristo 19285025
Editoras MIT Press Ltd
Peso 820
Dimensões 187 x 236 x 25

Categorias

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

Model Checking Software Corina S. Pasareanu / Livro Capa mole
common.buy 53.93 €
Model Checking, second edition Jr. Edmund M. Clarke / E-book Adobe ePub DRM
common.buy 84.05 €
Principles of Model Checking Baier / Livro Livro de capa dura
common.buy 170.94 €
World Heritage and Sustainable Development Peter Bille Larsen / Livro Capa mole
common.buy 64.26 €
Principal
Knowledge Illusion Steven Sloman / Livro Capa mole
common.buy 13.43 €
Silicon Nanowire Transistors AHMET BINDAL / Livro Capa mole
common.buy 82.71 €
Attachment Theory in Practice Johnson / Livro Livro de capa dura
common.buy 50.22 €
Fox the Tiger Corey R. Tabor / Livro Capa mole
common.buy 5.71 €
Chinese International Students' Stressors and Coping Strategies in the United States Kun Yan / Livro Capa mole
common.buy 53.93 €
17 songs Dario Greggio / Livro Capa mole
common.buy 21.95 €
Raising Girls into Extraordinary Young Women Monica Hawkins Ph.D. M.P.H. / Livro Capa mole
common.buy 11.62 €
Disney Princess Cross-Stitch: 22 Easy-To-Follow Patterns Featuring Ariel, Belle, Jasmine, Mulan, and More! Disney / Livro Capa mole
common.buy 13.83 €
Principal
Flow Mihaly Csikszentmihalyi / Livro Capa mole
common.buy 6.81 €
Twins of Auschwitz Lisa Rojany Buccieri / Livro Capa mole
common.buy 11.12 €
The Art of War by Sun Tzu: The Official Edition Shanghai-Hunan Publishing / Livro Capa mole
common.buy 11.63 €
Simon & Schuster Mega Crossword Puzzle Book #21 John M. Samson / Livro Capa mole
common.buy 15.33 €
Look at me like you love me Jess T. Dugan / Livro Livro de capa dura
common.buy 50.12 €
Babel R. F. Kuang / Livro Livro de capa dura
common.buy 25.06 €
Embroidered Crochet Anna Nikipirowicz / Livro Capa mole
common.buy 16.93 €
The Mother Tongue of Architecture: Selected Writing from Kazi Khaleed Ashraf Kazi Ashraf / Livro Livro de capa dura
common.buy 57.44 €
A Condition Called Love 15 V15 / Livro Capa mole
common.buy 9.31 €
Principal
Aliens Epic Collection: The Original Years Vol. 3 Christopher Taylor / Livro Capa mole
common.buy 42.20 €
Principal
All Tomorrows C. M. Kosemen / Livro Livro de capa dura
common.buy 18.84 €
CANT STOP WONT STOP Jeff Chang / Livro Capa mole
common.buy 18.24 €

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?