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 Integrated Formal Methods Nadia Polikarpova

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Nadia Polikarpova

Steve Schneider

Língua

Inglês

Livro Capa mole

Livro Integrated Formal Methods Nadia Polikarpova

Código Libristo: 16803868

Editoras Springer International Publishing AG, agosto 2017

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Descrição completa

Código Libristo: 16803868

?

points

132 b

54.26 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo

/

Capa mole

28.23 €

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso

/

Capa mole

34.89 €

La sagesse divine des animaux Stacey Demarco

/

Livro de capa dura

29.34 €

Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel

/

Capa mole

20.26 €

Au Bord Du Lac (1852) Emile Souvestre

/

Capa mole

28.23 €

Lumieres Et Romantisme M. Castillo

/

Capa mole

27.22 €

Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique

/

Capa mole

19.86 €

Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio

/

Capa mole

27.32 €

Leonardo Martin Kemp

/

Capa mole

14.01 €

Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt

/

CD de áudio

23.49 €

El silenci de les cases MARIA SANPLA

/

Capa mole

15.83 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

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 Integrated Formal Methods

Autor Nadia Polikarpova, Steve Schneider

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2017

Número de páginas 438

EAN 9783319668444

ISBN 3319668447

Código Libristo 16803868

Editoras Springer International Publishing AG

Peso 6905

Dimensões 155 x 235 x 26

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 > Inteligência artificial

Informática & tecnologia da informação > Tecnologia da informação: generalidades

Informática & tecnologia da informação > Gestão de redes & comunicaçã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

Wonder Island Boys Roger Thompson Finlay

/

Capa mole

17.04 €

Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han

/

Capa mole

16.33 €

The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK

/

Cartões

34.89 €

Capybara Zen Helen H. Wu

/

Capa mole

7.66 €

Undying Destiny Jessica Lee

/

MP3

20.26 €

Taking A Long Look Vivian Gornick

/

Livro de capa dura

21.17 €

The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle

/

Capa mole

30.65 €

Introduction to Nuclear Waste Immobilisation Michael Ojovan

/

Capa mole

230.97 €

The Itsy Bitsy Spider Flowerpot Press

/

Livro concertina

8.97 €

Illustrated Guide to Chemistry JEFF GRANT

/

Capa mole

20.26 €

The Case of The Stolen Case Carl Brookins

/

Capa mole

13.81 €

Supremacy of Christ Richard McCarrell

/

Capa mole

8.36 €

Let Me Tell You A Story Rob Parsons

/

Livro de capa dura

17.04 €

Writing for Interaction Linda Newman Lior

/

Capa mole

43.16 €

Creating Belfast Don McCloy

/

Capa mole

22.58 €

Euro Crash Brendan Brown

/

Livro de capa dura

114.07 €

Community Identity Sebastian Kim

/

Capa mole

113.46 €

Cloud Computing for Teaching and Learning Lee Chao

/

Livro de capa dura

191.03 €

British Culture of the Post-War Alastair Davies

/

Capa mole

64.64 €

Parenting with Presence Susan Stiffelman

/

Capa mole

13.51 €

Real-Life Distance Education Al P. Mizell

/

Livro de capa dura

125.87 €

Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes

/

Livro de capa dura

12.19 €

Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert

/

Capa mole

30.75 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?