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 Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Marieke Huisman

Bernhard Steffen

Língua

Inglês

Livro Capa mole

Livro Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer

Código Libristo: 22188466

Editoras Springer Nature Switzerland AG, abril 2019

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceeding... Descrição completa

Código Libristo: 22188466

?

points

132 b

54.51 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Romy Schneider Rencontres Dirk Schiff

/

Capa mole

19.04 €

Historie Bible John Barton

/

Livro de capa dura

26.75 €

Bloodlands Stefan Kaminski

/

Digital

22.49 €

WiSo Praktisch. Arbeitsheft Sabine Weißgerber

/

Capa mole

15.39 €

Histoire de la Révolution de Pologne En 1791... Jean Claude Hippolyte Mehee De La Touc

/

Capa mole

25.12 €

Guide pratique de la négociation internationale Cristina Aguiar

/

Capa mole

20.06 €

Einfuhrung in die Angewandte Linguistik Dorothee Meer

/

Capa mole

30.09 €

Cálculo en varias variables y ecuaciones diferenciales José Luis López García

/

Capa mole

22.29 €

Conservación de la naturaleza Da Cruz

/

Capa mole

16.61 €

Cours Complet d'Histoire Naturelle A l'Usage Des Lycees Et Colleges, Conference de Geologie Faideau-F

/

Capa mole

16.81 €

Mensch sein, Mensch bleiben, Mensch verstehen! Mikel Marz

/

Capa mole

16.21 €

Effektivität und Effizienz von Prozessen Frank Bünting

/

Livro de capa dura

47.93 €

Swiss and Alpine Islands Farhad Vladi

/

Livro de capa dura

15.80 €

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Pragu

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 Tools and Algorithms for the Construction and Analysis of Systems

Autor Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2019

Número de páginas 258

EAN 9783030175016

ISBN 3030175014

Código Libristo 22188466

Editoras Springer Nature Switzerland AG

Peso 444

Dimensões 155 x 235 x 16

Categorias

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 > Análise e conceção de sistemas

Informática & tecnologia da informação > Ciência informática > Modelagem e simulação informática

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

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

Bound to God in Christ Jesus Nathan Randal Tritch

/

Capa mole

20.87 €

The Oriental Herald and Journal of General Literature, Volume 8 James Silk Buckingham

/

Capa mole

29.28 €

The Essential Guide to Interpersonal Communication Steven McCornack

/

Capa mole

21.37 €

Mastering Autodesk Revit 2020 Robert Yori

/

Capa mole

52.59 €

Hooked on Amigurumi Melanie Morita

/

Capa mole

17.62 €

Estranged Ethan M Aldridge

/

Capa mole

11.34 €

Merry Christmas Jonas - Xmas Activity Book: (Personalized Children's Activity Book) Xmasst

/

Capa mole

10.33 €

Maori and Settler: A Story of the New Zealand War G. A. Henty

/

Capa mole

11.75 €

Jealous Lion: Finds Friends Pattie Thomas

/

Capa mole

17.52 €

Brawler Charity Parkerson

/

Capa mole

13.27 €

Environmental Rights in Europe and Beyond Sanja Bogojevic

/

Livro de capa dura

141.06 €

Competitive Basketball for Girls Elizabeth Gettelman

/

Capa mole

37.39 €

Clarissa's Ciphers Terry Castle

/

Capa mole

25.43 €

Commanders in Crisis, Volume 1: The Action Steve Orlando

/

Capa mole

14.38 €

Ceoe Osat Middle Level Science Field 26 Teacher Certification Test Prep Study Guide Sharon Wynne

/

Capa mole

48.94 €

Global and European Trade Union Federations Hans-Wolfgang Platzer

/

Capa mole

105.39 €

Sleep and Psychiatry in Children, An Issue of Sleep Medicine Clinics John Herman

/

Livro de capa dura

80.15 €

Upon the Best Authority, Vol. II Chuck Veit

/

Capa mole

39.31 €

LIONS CLUBS in the 21st CENTURY Paul Martin Robert Kleinfelder

/

Livro de capa dura

28.37 €

Opus 21: Descriptive Music for the Lower Kinsey Epoch of the Atomic Age Philip Wylie

/

Capa mole

35.46 €

Jane Eyre Charlotte Bronte

/

Capa mole

9.41 €

Mastering Elasticsearch - Marek Rogozinski

/

Capa mole

62.01 €

Scientific Basis for Nuclear Waste Management XXXII: Volume 1124 Neil C. HyattDavid A. PickettRaul B. Rebak

/

Livro de capa dura

141.57 €

Boundaries of Economics Gordon C. WinstonRichard F. Teichgraeber III

/

Capa mole

48.23 €