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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Tests and Proofs Jasmin Christian Blanchette

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette

Nikolai Kosmatov

Língua

Inglês

Livro Capa mole

Livro Tests and Proofs Jasmin Christian Blanchette

Código Libristo: 09361553

Editoras Springer International Publishing AG, junho 2015

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proo... Descrição completa

Código Libristo: 09361553

?

points

120 b

49.56 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Gannibal 6 Masaaki Ninomiya

/

Capa mole

8.59 €

Algorytmika praktyczna Stańczyk Piotr

/

Capa mole

30.74 €

Chancen und Risiken im Category Management beim Aufbau einer Bio-Handelsmarke in der Drogeriebranche Philipp Voshege

/

Capa mole

42.78 €

Nevyřešené záhady Egypta Magdalena Zachardová

/

Livro de capa dura

12.13 €

Hameleony Gennadij Murzin

/

Capa mole

40.05 €

Salin Kaliske Helene Böhlau

/

Capa mole

32.97 €

Mesačná víla Samuel Salay

/

Livro de capa dura

4.74 €

Enchantimals 01 - Au secours de Felicity ! Mattel

/

Capa mole

8.69 €

Dikkat Kan Araniyor Zehra Ebrar Bakir

/

Capa mole

10.61 €

Préhistoires d'Europe Lehoerff anne

/

Livro

31.65 €

Comptines pour se relaxer Gilles Diederichs

/

Capa mole

17.19 €

Guarda Rural. Temario común para todas las modalidades Formación y Especialización en Seguridad (FYES)

/

Capa mole

38.23 €

LES AVISOS DRAGUEURS DE 630 TW DU TYPE 'ELAN' - Vol. 1. GARIER

/

Livro de capa dura

56.03 €

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency, and validation, among others. Many papers rely on interactive and automatic§theorem provers, including SMT solvers and model checkers.

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 Tests and Proofs

Autor Jasmin Christian Blanchette, Nikolai Kosmatov

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2015

Número de páginas 209

EAN 9783319212142

ISBN 3319212141

Código Libristo 09361553

Editoras Springer International Publishing AG

Peso 3577

Dimensões 155 x 235 x 14

Categorias

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

Knowledge-Based Software Engineering: 2020 Hiroyuki Nakagawa

/

Livro de capa dura

205.74 €

It Will Never Happen to Me: Growing Up with Addiction as Youngsters, Adolescents, and Adults Claudia Black

/

Capa mole

14.25 €

Bonereapers Jeanne Matthews

/

Capa mole

16.68 €

Larry Cohen Michael Doyle

/

Livro de capa dura

52.49 €

Republic of Korea Health System Review Who Regional Office for the Western Paci

/

Capa mole

26.49 €

Beastwalker Gama Ray Martinez

/

Capa mole

13.04 €

Travels Through Central Africa to Timbuctoo and Across the Great Desert to Morocco, Performed in the Years 1824-28 Rene Caillie

/

Livro de capa dura

68.98 €

Policy-based Computing with SELINUX Nwamaka U. Okafor

/

Capa mole

32.06 €

Three Craws Melanie Mitchell

/

Livro concertina

8.18 €

Bantu Prophets in South Africa Bengt G. M. Sundkler

/

Capa mole

52.39 €

Department of Defense Posture for Artificial Intelligence William Shelton

/

Capa mole

29.63 €

Coloring Book - I Spy: Coloring Book for Kids Ages 2-5 Year _ A Fun Guessing Game for Kids Dolly Bond School

/

Capa mole

6.77 €

Beautiful Book for Little Children John L Shorey

/

Capa mole

15.26 €

Ultimate Baby Food Cookbook Jayson Young

/

Capa mole

9.40 €

Passage Justin Cronin

/

Adobe ePub DRM

7.07 €

Autodesk CFD 2023 Black Book Matt Weber

/

Livro de capa dura

73.33 €

Cultural History of the Chinese Character "Ta ( , She)" Huang Xingtao

/

Livro de capa dura

209.08 €

The World Almanac and Book of Facts 2024 Janssen

/

Livro de capa dura

33.78 €

Recovery of degraded areas Bruno M. Araújo

/

Capa mole

35.70 €

Postanarchism and Critical Art Practices Tihomir Topuzovski

/

Livro de capa dura

127.35 €

Still Life Burke

/

Livro de capa dura

22.35 €

20 Underwater Kingdom Bedtime Stories For Kids Age 3 - 8 Blume Potter

/

Livro de capa dura

27.91 €

CCST Cisco Certified Support Technician Study Guide Todd Lammle

/

Adobe ePub DRM

57.35 €

Lore of the Tides Analeigh Sbrana

/

Capa mole

11.52 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?