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 Einar Broch Johnsen

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Einar Broch Johnsen

Língua

Inglês

Livro Capa mole

Livro Integrated Formal Methods Einar Broch Johnsen

Código Libristo: 01663776

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2013

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

Código Libristo: 01663776

?

points

111 b

45.97 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat

/

Capa mole

35.06 €

Crimson Spell. Bd.5 Ayano Yamane

/

Capa mole

8.07 €

Kunst Des 18. Jahrhunderts Edmond de Goncourt

/

Capa mole

36.98 €

Dançando tango em Istambul Melis Merih Kiliç

/

Capa mole

50.43 €

EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Livro

binding.

9.49 €

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont

/

Capa mole

25.56 €

Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann

/

Folha

9.69 €

Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank

/

Livro de capa dura

97.71 €

Recht und Energie Peter Rosin

/

Livro de capa dura

183.70 €

Rivalen unter roter Sonne, 1 Blu-ray Terence Young

/

Blu-ray

12.02 €

La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre

/

Capa mole

17.37 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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 Einar Broch Johnsen, Luigia Petre

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2013

Número de páginas 443

EAN 9783642386121

ISBN 3642386121

Código Libristo 01663776

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 700

Dimensões 155 x 235 x 26

Categorias

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

Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes

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 > Arquitetura informática e conceção lógica

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

Safety of historical stone arch bridges Pieter Van Gelder

/

Capa mole

89.52 €

Space groups (156) P3m1-(148) R-3 Pierre Villars

/

Livro de capa dura

484.44 €

Progressive Development Arie S. Issar

/

Capa mole

91.75 €

Tocqueville Khaled Mattawa

/

Capa mole

11.41 €

Psychology of Crime, Policing and Courts Andreas Kapardis

/

Livro de capa dura

212.61 €

Novels of Charles Lever V.1- The Confessions of Harry Lorrequer.., Volume 16 Charles Lever

/

Livro de capa dura

34.25 €

Stalin Edvard Radzinsky

/

Capa mole

13.43 €

Blaze and Thunderbolt C. W. Anderson

/

Capa mole

6.86 €

Inside Gitmo Gordon Cucullu

/

Capa mole

17.47 €

Meetings with Remarkable Women Lenore Friedman

/

Capa mole

24.04 €

Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber

/

Capa mole

15.45 €

Free Thoughts on Despotic and Free Governments Joseph Townsend

/

Livro de capa dura

29.40 €

Racism, Culture, Markets John Gabriel

/

Livro de capa dura

250.60 €

Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus

/

Capa mole

11.00 €

Exponential Families of Stochastic Processes Uwe Küchler

/

Livro de capa dura

137.52 €

Mentalizing in Arts Therapies Marianne Verfaille

/

Livro de capa dura

181.78 €

Learn Power BI Greg Deckler

/

Capa mole

38.29 €

Awakening Power Sat Dharma

/

Capa mole

12.82 €

Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade

/

Capa mole

8.78 €

Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin

/

Capa mole

104.58 €

Global Business Strategy Cornelis A. de Kluyver

/

Capa mole

23.54 €

Of Lands High and Low Martha Keyes

/

Capa mole

11.00 €

Fly ash for water and wastewater treatment Md. Ahmaruzzaman

/

Capa mole

34.55 €

Elegies. William Mason

/

Capa mole

10.30 €