Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
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 phoneComo comprar

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Integrated Formal Methods Erika Ábrahám
Código Libristo: 02975401
Editoras Springer International Publishing AG, maio 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Descrição completa
? points 210 b
86.63 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-book Adobe ePub DRM
common.buy 65.75 €
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Livro Capa mole
common.buy 28.23 €
Atrás Da Muralha / Livro Capa mole
common.buy 14.82 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-book Adobe ePub DRM
common.buy 16.43 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Livro Capa mole
common.buy 26.42 €
Económico
Poutine, maître du jeu ? Baud / Livro Livro
common.buy 18.15 €
Entre chiens et loups Méndez / Livro Capa mole
common.buy 17.14 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Livro Livro de capa dura
common.buy 21.58 €
Du matériau à l'architecture László Moholy-Nagy / Livro Capa mole
common.buy 37.11 €
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Livro Capa mole
common.buy 14.41 €
AMETS POLITAK IZAN, MAITEA AA VV / Livro Livro de capa dura
common.buy 9.17 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Livro Capa mole
common.buy 161.68 €
USA King Crimson Áudio CD de áudio
common.buy 22.28 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Livro Capa mole
common.buy 14.31 €
Wild Hubert Krenn / Livro Livro de capa dura
common.buy 14.82 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Livro Capa mole
common.buy 14.62 €

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
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 Erika Ábrahám, Marieke Huisman
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 538
EAN 9783319336923
ISBN 3319336924
Código Libristo 02975401
Editoras Springer International Publishing AG
Peso 8248
Dimensões 155 x 235 x 29

Categorias

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 > Teoria matemática da informática
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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Livro Livro de capa dura
common.buy 56.47 €
Inhuman Relations Scott Becker / Livro Capa mole
common.buy 19.26 €
Championship DNA Gideon Mulinge Mwololo / Livro Capa mole
common.buy 19.26 €
Return to Social Justice Jessica Urwin / Livro Capa mole
common.buy 128.29 €
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Livro Capa mole
common.buy 14.72 €
A Soldier's Daughter (Illustrated) G. A. Henty / Livro Capa mole
common.buy 6.75 €
History of the Fishes of the British Islands Jonathan Couch / Livro Capa mole
common.buy 24.50 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Livro Capa mole
common.buy 35.39 €
Submissionary Sherryle Kiser Jackson / Livro Capa mole
common.buy 14.82 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Livro Livro de capa dura
common.buy 32.47 €
Preparing for Blockade 1885-1914 COBB / Livro Capa mole
common.buy 82.30 €
Housekeepers Handy Book Lucia Baxter / Livro Capa mole
common.buy 19.56 €
Of Time and Tide Malleus Maleficarum Jr / Livro Capa mole
common.buy 13.10 €
International Law Reports E. LauterpachtC. J. Greenwood / Livro Livro de capa dura
common.buy 219.78 €
14 Minutes Alberto Salazar / Livro Capa mole
common.buy 13.20 €
Global Legal Pluralism Paul Schiff Berman / Livro Capa mole
common.buy 68.48 €
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Livro Capa mole
common.buy 16.43 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Livro Livro de capa dura
common.buy 15.52 €
Information Processing in Medical Imaging Alan C. F. Colchester / Livro Capa mole
common.buy 108.22 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Livro Capa mole
common.buy 16.43 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?