Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Livro Model Checking Software María del Mar Gallardo

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Língua

Inglês

Livro Capa mole

Livro Model Checking Software María del Mar Gallardo

Código Libristo: 19534895

Editoras Springer International Publishing AG, junho 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Descrição completa

Código Libristo: 19534895

?

points

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

naanallada naanu s.g.shivashankar

/

Capa mole

13.35 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

/

Capa mole

31.46 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

/

Capa mole

39.35 €

Das Erbe Martin Wieland

/

Capa mole

18.20 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

/

Capa mole

12.54 €

Elaboración de vinos espumosos y cavas Madrid Vicente

/

Capa mole

31.66 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Livro

Capa mole

21.54 €

Rüyalar ve Uyanislar Defteri Latife Tekin

/

Capa mole

12.64 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

/

Capa mole

6.77 €

Gesammelte Werke Ernst Von Wildenbruch

/

Capa mole

51.08 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

Ewa Kasp

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 Software

Autor María del Mar Gallardo, Pedro Merino

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2018

Número de páginas 347

EAN 9783319941103

ISBN 3319941100

Código Libristo 19534895

Editoras Springer International Publishing AG

Peso 557

Dimensões 155 x 235 x 20

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Modelagem e simulação 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

Hymns, Psalms and Prayers Isaac Mayer Wise

/

Capa mole

18.20 €

The Heart of Your Script Phil Hughes

/

Capa mole

29.74 €

Ecocriticism and Italy Serenella Iovino

/

Capa mole

50.07 €

Tiny the Vancouver Easter Bunny Eric James

/

Livro de capa dura

7.68 €

Bon Iver Bon

/

Livro

20.33 €

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

Capa mole

20.53 €

Inventive Engineering Tomasz Arciszewski

/

Livro de capa dura

257.08 €

The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds

/

Capa mole

12.54 €

An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz

/

Capa mole

39.35 €

Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe

/

Capa mole

15.98 €

Danger Music Eddie Ayres

/

Capa mole

9.40 €

Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson

/

Capa mole

5.66 €

Radiant, Vol. 8, 8 Tony Valente

/

Capa mole

6.87 €

Interpreting the New Testament Francis J. Moloney

/

Capa mole

27.11 €

genealogical dictionary of the first settlers of New England, Volume 2 James Savage

/

Adobe ePub DRM

10.31 €

Catch a Falling Star Mason Stone

/

Capa mole

9.30 €

Towards a Federal Europe Alexander H. Trechsel

/

Capa mole

45.01 €

The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo

/

Livro de capa dura

175.23 €

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

Capa mole

46.03 €

Creating Textures in Pen & Ink with Watercolor Claudia Nice

/

Capa mole

15.17 €

Introduction to Transport Policy - A Public Policy View Peter R. Stopher

/

Livro de capa dura

142.15 €

My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa

/

Capa mole

29.13 €

Free Fall Robert Crais

/

Capa mole

13.95 €

Electronic Banking Scn Education B. V.

/

Capa mole

91.86 €