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

Até 30 dias para devoluções

Os clientes também compraram

Pád modrého ptáka Petr Štěpánek / Livro Capa mole
common.buy 5.85 €
The Villainess is a Marionette 03 hanirim / Livro Capa mole
common.buy 13.53 €
Eislotus. Wasser findet seinen Weg Liza Grimm / Livro Capa mole
common.buy 15.35 €
Principal
Láska, svoboda, samota Osho / Livro Capa mole
common.buy 12.21 €
30 días con Don Bosco Borelli / Livro Capa mole
common.buy 9.29 €
Les Martionautes Marie-France Esperce / Livro Capa mole
common.buy 18.78 €
ARINAGO DUK HAIZEA ABSALON/JUARISTI JUARISTI / Livro Livro
common.buy 15.75 €
EASY CONCERT PIECES BAND 1 GUITARE +CD PETER ANSORGE_MARTIN Livro binding.
common.buy 30.70 €
Déluge Stephen Baxter / Livro Capa mole
common.buy 27.98 €
Nosferatu Philippe Druillet / Livro Livro
common.buy 23.53 €
Cabin Porn Za dveřmi Klein Zach / Livro Livro de capa dura
common.buy 18.98 €
Sternenschweif (Folge 8) - Die Macht des Einhorns (Audio-CD). Folge.8, 1 Audio-CD Linda Chapman / Áudio CD de áudio
common.buy 8.88 €
amerikanische Besetzung Deutschlands Klaus-Dietmar Henke / Livro Livro de capa dura
common.buy 54.85 €
Instabilitat in Natur und Wissenschaft Jan Cornelius Schmidt / Livro Livro de capa dura
common.buy 217.01 €
Münchener Handbuch des Gesellschaftsrechts. Gesamtwerk in 7 Bänden / Livro Livro de capa dura
common.buy 415.53 €
Bewegter Koerper - Mechanischer Apparat Christiane Kuhlmann / Livro Capa mole
common.buy 88.80 €

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 145.78 €
IUTAM Symposium on Discretization Methods for Evolving Discontinuities Alain Combescure / Livro Capa mole
common.buy 97.28 €
Ultraviolet Germicidal Irradiation Handbook Kowalski / Livro Capa mole
common.buy 291.27 €
Embodied Social Cognition Jessica Lindblom / Livro Livro de capa dura
common.buy 97.28 €
Key Aspects of German Business Law Michael Wendler / Livro Livro de capa dura
common.buy 168.92 €
100 Multiplication Worksheets with 5-Digit Multiplicands, 4-Digit Multipliers: Math Practice Workbook Kapoo Stem / Livro Capa mole
common.buy 12.52 €
Book of the Horse Angus Hyland / Livro Capa mole
common.buy 12.92 €
Say Goodnight Helen Oxenbury / Livro Livro concertina
common.buy 8.07 €
Económico
Laravel Basics: Creating Web Apps. It's Simple. Gregory Blake / Livro Capa mole
common.buy 5.24 €
Glad To Be Dan: Discover how mindfulness helps Dan to be happy every day Jo Howarth / Livro Capa mole
common.buy 9.18 €
Why does my Daddy Drink Pamela J Tomlinson / Livro Capa mole
common.buy 15.35 €
The Mystery of Edwin Drood DICKENS / Livro Capa mole
common.buy 10.19 €
Essays. Collected and Arranged by Sir George Young Winthrop Mackworth Praed / Livro Capa mole
common.buy 20.80 €
Hands to Spell-Read-Write: Princesses Spelling Workbook Angela M Foster / Livro Capa mole
common.buy 16.26 €
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 12.62 €
Marked Heart: A Marked Heart Novel M Sembera / Livro Capa mole
common.buy 10.90 €
Force Like No Other 1 Colin Breen / Livro Capa mole
common.buy 13.73 €
Dinner Time / Livro Livro de capa dura
common.buy 38.28 €
Hand Book to Veterinary Homoeopathy John Rush / Livro Capa mole
common.buy 5.45 €
Roscoe and Charlie: Travel to Cloudcroft Auntie Nann / Livro Capa mole
common.buy 8.78 €
The Adventures Of Big-Foot Wallace: The Texas Ranger And Hunter (1871) John Crittenden Duval / Livro Capa mole
common.buy 26.97 €
Small and Tiny House Plans Design Book: Small home plans + granny flat plans in Metric and Feet and Inches House Plans / Livro Capa mole
common.buy 16.36 €
Principal
Cambridge Primary Mathematics Learner's Book 2 with Digital Access (1 Year) Cherri Moseley / Livro Capa mole
common.buy 26.16 €
Journey to and Beyond the Blackboard Kim Johnson / Livro Capa mole
common.buy 15.55 €

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?