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

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

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso

/

Capa mole

30.48 €

La sagesse divine des animaux Stacey Demarco

/

Livro de capa dura

25.61 €

Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel

/

Capa mole

17.41 €

Au Bord Du Lac (1852) Emile Souvestre

/

Capa mole

25.41 €

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

/

Capa mole

25.41 €

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

/

Capa mole

23.28 €

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

/

CD de áudio

20.45 €

El silenci de les cases MARIA SANPLA

/

Capa mole

13.36 €

Leonardo Martin Kemp

/

Capa mole

11.94 €

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

17.01 €

Lumieres Et Romantisme M. Castillo

/

Capa mole

23.79 €

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

Creatures of Old Prasad

/

MP3

3.33 €

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

/

Capa mole

26.22 €

Introduction to Nuclear Waste Immobilisation Michael Ojovan

/

Capa mole

200.73 €

The Itsy Bitsy Spider Flowerpot Press

/

Livro concertina

7.69 €

Illustrated Guide to Chemistry JEFF GRANT

/

Capa mole

17.41 €

Taking A Long Look Vivian Gornick

/

Livro de capa dura

17.01 €

The Case of The Stolen Case Carl Brookins

/

Capa mole

11.74 €

Undying Destiny Jessica Lee

/

MP3

16.90 €

Capybara Zen Helen H. Wu

/

Capa mole

5.66 €

Let Me Tell You A Story Rob Parsons

/

Livro de capa dura

19.03 €

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

/

Livro de capa dura

10.32 €

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

/

Cartões

35.03 €

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

/

Capa mole

12.14 €

Writing for Interaction Linda Newman Lior

/

Capa mole

43.34 €

Parenting with Presence Susan Stiffelman

/

Capa mole

11.03 €

Real-Life Distance Education Al P. Mizell

/

Livro de capa dura

110.29 €

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

/

Capa mole

26.02 €

British Culture of the Post-War Alastair Davies

/

Capa mole

53.67 €

Cloud Computing for Teaching and Learning Lee Chao

/

Livro de capa dura

167.21 €

Community Identity Sebastian Kim

/

Capa mole

97.73 €

Euro Crash Brendan Brown

/

Livro de capa dura

99.15 €

Creating Belfast Don McCloy

/

Capa mole

18.42 €

Wonder Island Boys Roger Thompson Finlay

/

Capa mole

14.27 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?