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

Scalable Techniques for Formal Verification

Língua InglêsInglês
Livro Capa mole
Livro Scalable Techniques for Formal Verification SANDIP RAY
Código Libristo: 09062296
Editoras Springer-Verlag New York Inc., outubro 2014
This book presents the latest approaches to formal verification techniques to seamlessly integrate d... Descrição completa
? points 275 b
113.72 €
Armazenamento externo Envio em 10-18 dias

Até 30 dias para devoluções

Os clientes também compraram

EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Livro binding.
common.buy 33.55 €
30 días con Don Bosco Borelli / Livro Capa mole
common.buy 10.10 €
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Livro Livro
common.buy 17.28 €
Pád modrého ptáka Petr Štěpánek / Livro Capa mole
common.buy 7.37 €
The Villainess is a Marionette 03 hanirim / Livro Capa mole
common.buy 15.26 €
Económico
Eislotus. Wasser findet seinen Weg Liza Grimm / Livro Capa mole
common.buy 13.84 €
Агата Мiстерi. Книга 7. Корона дожiв Steve Stevenson / Livro Livro de capa dura
common.buy 27.18 €
Láska, svoboda, samota Osho / Livro Capa mole
common.buy 15.05 €
Les Martionautes Marie-France Esperce / Livro Capa mole
common.buy 26.38 €
Em breve
Les figures symboliques du Féminin et du Masculin : de la préhistoire à la mythologie VERCHERE MERLE / Livro Capa mole
common.buy 23.95 €
Les Albanais en Yougoslavie - minorité nationale, territoire et développement Roux Livro Capa mole
common.buy 37.19 €
Déluge Stephen Baxter / Livro Capa mole
common.buy 30.52 €
Nosferatu Philippe Druillet / Livro Livro
common.buy 25.77 €
Pexeso dřevo - společenská hra / 40 ks v krabici / Jogo/brinquedo Jogo
common.buy 23.14 €
Cabin Porn Za dveřmi Klein Zach / Livro Livro de capa dura
common.buy 23.34 €
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Áudio CD de áudio
common.buy 9.90 €
Telemedicina, un mundo a descubrir Fernando Tejo / Livro Capa mole
common.buy 51.75 €
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Livro Livro de capa dura
common.buy 62.77 €
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Livro Livro de capa dura
common.buy 239.99 €
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Livro Livro de capa dura
common.buy 463.51 €
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Livro Capa mole
common.buy 98.66 €
Histoire, Proces Et Condamnation Des Criminels Celebres B RENAULT / Livro Capa mole
common.buy 23.95 €

This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.

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 Scalable Techniques for Formal Verification
Autor SANDIP RAY
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 243
EAN 9781489984449
ISBN 9781489984449
Código Libristo 09062296
Editoras Springer-Verlag New York Inc.
Peso 403
Dimensões 155 x 235 x 15

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Eletrónica: circuitos e componentes
Tecnologia, Engenharia & Agricultura > Tecnologia: questões gerais > Engenharia: generalidades
Informática & tecnologia da informação > Aplicações gráficas & para media digitais > Design assistido por computador (CAD)
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

Set Theory for Computing Domenico Cantone / Livro Capa mole
common.buy 162.65 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Livro Capa mole
common.buy 108.46 €
Ultraviolet Germicidal Irradiation Handbook Kowalski / Livro Capa mole
common.buy 324.91 €
Embodied Social Cognition Jessica Lindblom / Livro Livro de capa dura
common.buy 108.46 €
Key Aspects of German Business Law Michael Wendler / Livro Livro de capa dura
common.buy 185.60 €
Principal
Say Goodnight Helen Oxenbury / Livro Livro concertina
common.buy 9.29 €
Económico
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Livro Capa mole
common.buy 5.25 €
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Livro Capa mole
common.buy 10.91 €
Why does my Daddy Drink Pamela J Tomlinson / Livro Capa mole
common.buy 18.09 €
Eyes Open Level 3 Class Audio CDs (3) Grade 7 Kazakhstan Edition GOLDSTEIN BEN / Áudio CD de áudio
common.buy 69.75 €
The Mystery of Edwin Drood DICKENS / Livro Capa mole
common.buy 12.02 €
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 14.85 €
Dinner Time / Livro Livro de capa dura
common.buy 41.54 €
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Livro Capa mole
common.buy 19.20 €
The Case of Seduction: Being, an Account of the Late Proceedings at Paris, as Well Ecclesiastical as Civil, Against the Reverend Abb E, Claud Rogers / Livro Capa mole
common.buy 14.65 €
Marked Heart: A Marked Heart Novel M Sembera / Livro Capa mole
common.buy 12.12 €
Force Like No Other 1 Colin Breen / Livro Capa mole
common.buy 15.46 €
Federica Scot Ritchie / Livro Livro de capa dura
common.buy 16.27 €
Principal
Book of the Horse Angus Hyland / Livro Capa mole
common.buy 14.65 €
Pharmaceutical Botany Heber Wilkinson Youngken / Livro Livro de capa dura
common.buy 46.80 €
Hand Book to Veterinary Homoeopathy John Rush / Livro Capa mole
common.buy 5.95 €
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Livro Capa mole
common.buy 23.04 €
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Livro Capa mole
common.buy 10.30 €
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Livro Capa mole
common.buy 31.63 €

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?