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 €

phone

Contacto

phone

Ajuda

A minha conta

▸ Vazio :-(

0

Livro Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira

Formal Methods: Foundations and Applications

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Medeiros Oliveira

Língua

Inglês

Livro Capa mole

Livro Formal Methods: Foundations and Applications Marcel Vinícius Medeiros Oliveira

Código Libristo: 01655091

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

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Descrição completa

Código Libristo: 01655091

?

points

111 b

46.02 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

NoElle et Lui Alban Bourdy

/

Capa mole

9.60 €

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

/

Capa mole

14.25 €

Pierre des fées du Maroc

/

binding.

9.80 €

Hemisferios

/

Livro

6.77 €

Conoce Peru Robin Johnson

/

Livro de capa dura

24.47 €

Differentialgeometrie, Topologie und Physik Matthias Delbrück

/

Livro de capa dura

72.72 €

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

/

Partituras

11.93 €

La hija del Ganges Raluca Mirela Petrescu

/

Adobe ePub DRM

7.48 €

Le système fiscal international : une construction conceptuelle et pragmatique Giard

/

Capa mole

33.68 €

Přerušený klid - Islandská krimi Arnaldur Indridason

/

Livro de capa dura

10.51 €

Comme un mendiant sur les quais de marbre Penblanc

/

Capa mole

20.83 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

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 Formal Methods: Foundations and Applications

Autor Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2009

Número de páginas 351

EAN 9783642104510

ISBN 3642104517

Código Libristo 01655091

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

Peso 557

Dimensões 155 x 235 x 20

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Arquitetura da informação

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

Informática & tecnologia da informação > Sistemas operativos

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

A General View of Positivism Auguste Comte

/

Capa mole

23.96 €

Microserfs & Girlfriend in a Coma Douglas Coupland

/

MP3

9.90 €

Discovery of the South Shetland Islands / The Voyage of the Brig Williams, 1819-1820 and The Journal of Midshipman C.W. Poynter R.J. Campbell

/

Capa mole

50.47 €

Pedagogies for the Post-Anthropocene Esther Priyadharshini

/

Livro de capa dura

100.94 €

First Poems Wildie Thayer

/

Capa mole

21.33 €

Adventures with Annie Coloring Book Misty Marksberry Merideth

/

Capa mole

6.46 €

Taylor's STEM Adventures: Hawaii Mary Payton

/

Livro de capa dura

15.57 €

Book of Hours: The Beguilement of Brother Alphaios J S Anderson

/

Capa mole

13.34 €

Generalist Case Management Workbook Marianne Woodside

/

Capa mole

73.33 €

Stock Market Trivia Fred Fuld III

/

Capa mole

16.38 €

A House Made of Stars Tawnysha Greene

/

Capa mole

14.86 €

The Law of electric Wires in Streets and Highways Edward Quinton Keasbey

/

Capa mole

16.58 €

USN Battleship vs IJN Battleship Mark Stille

/

Capa mole

17.09 €

ValueSelling Julie Thomas

/

Capa mole

14.86 €

Bankers Shane Ross

/

Capa mole

23.96 €

Chester Cello Fingering Chart David (University of Toronto) Harrison

/

Capa mole

5.35 €

Personality and the Fate of Organizations Robert Hogan

/

Livro de capa dura

181.26 €

Unspoken Word Orlando Trevino

/

Capa mole

19.92 €

From the Beginning of Always Bonnie Bachman

/

Capa mole

9.20 €

Ocean, the Forest, the Fields Troy R Nelson

/

Livro de capa dura

38.33 €

Environmental Quality US Army Corps of Engineers

/

Capa mole

20.32 €

Self-Publishing 101 Debbie Elicksen

/

Capa mole

14.05 €

Top Ten Jazz Songs To Play On Piano

/

Capa mole

19.21 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?