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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Methods for Executable Software Models

Name: Formal Methods for Executable Software Models
Brand: Springer International Publishing AG
SKU: 02667827
Price: 48.79 EUR
Availability: InStock
Author: Marco Bernardo
ISBN: 9783319073163

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Língua

Inglês

Livro Capa mole

Código Libristo: 02667827

Editoras Springer International Publishing AG, maio 2014

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the Inter... Descrição completa

Código Libristo: 02667827

118 b

48.79 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Aus Tirol - Berg- Und Gletscherreisen in Den Osterreichischen Hochalpen Anton von Ruthner

Capa mole

33.53 €

Tie vytúžené slová

Capa mole

16.66 €

Colores 1 Eria Krisztina Nagy Seres

Capa mole

11.41 €

Lunchbox na każdy dzień. Dookoła świata Bareła Malwina

Livro de capa dura

12.62 €

Auge und die optische Abbildung Wiebke Gelder

Capa mole

15.25 €

CIMT - Constraint Induced Movement Therapy Sabine Lamprecht

Adobe ePub DRM

36.56 €

Две жизни. Часть II Конкордия Антарова

Capa mole

8.88 €

Reptilien Und Amphibien Deutschlands in Wort Und Bild Hermann Lachmann

Capa mole

66.17 €

Trahison Que Tu Alimentes Tracy Lorraine

Capa mole

13.73 €

Faber-Castell Buntstift Jumbo Grip 16er Metalletui Jogo/brinquedo

Brinquedo

27.77 €

Les Industries d'Art, Les Ecoles Et Les Musees d'Art Industriel En France Departements Vachon-M

Capa mole

28.28 €

de la Distribution Des Bulletins de Vote Par Les Agents Salaries Des Communes Andral-P

Capa mole

12.32 €

Plain Principles Of Prose Composition (1893) William Minto

Capa mole

18.88 €

Controlling zwischen Shareholder Value und Stakeholder Value Regina W. Schröder

Livro de capa dura

39.49 €

Etica e hermeneutica Everton Nery Carneiro

Capa mole

50.41 €

Héroes y Heroínas: los Favoritos de los Dioses T. LLACAY

Capa mole

13.33 €

Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez

Capa mole

23.83 €

This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014.§SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.§