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 B 2007: Formal Specification and Development in B Jacques Julliand

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Jacques Julliand

Olga Kouchnarenko

Língua

Inglês

Livro Capa mole

Livro B 2007: Formal Specification and Development in B Jacques Julliand

Código Libristo: 01567749

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

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 200... Descrição completa

Código Libristo: 01567749

?

points

132 b

54.29 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Le Temple du coeur - Oeuvres posthumes de Saint-Martin

/

Livro

17.25 €

Calidad del aire: estudio sobre la presencia de formaldehído

/

Capa mole

46.82 €

Twisted Lies - Stella & Christian Ana Huang

/

Capa mole

16.95 €

Batman DC4 Trest John Layman

/

Capa mole

20.78 €

Ricerca transdisciplinare in sanità pubblica Jose A. Betancourt Bethencourt

/

Capa mole

37.64 €

Einfach irisch Josephine Ryan

/

Livro de capa dura

8.06 €

Christian Dior Megan Hess

/

Livro de capa dura

18.36 €

Intégrales généralisées, intégrales dépendant d'un paramètre - L1, L2, L3, classes prépas, CAPES BOUCETTA

/

Capa mole

19.87 €

Lesebuch Zur Foerderung Humaner Bildung Stifter Adalbert Stifter

/

Livro de capa dura

133.01 €

Schloss Bad Muskau (Puzzle) LianeM

/

Jogo

34.31 €

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

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 B 2007: Formal Specification and Development in B

Autor Jacques Julliand, Olga Kouchnarenko

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2006

Número de páginas 297

EAN 9783540687603

ISBN 3540687602

Código Libristo 01567749

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

Peso 482

Dimensões 154 x 18 x 17

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Programação Web

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

History of Galilee, 47 BCE to 1260 CE M. M. Silver

/

Livro de capa dura

154.01 €

Poo in the Zoo: Merry Poopmas! Steve Smallman

/

Capa mole

9.48 €

Mutant Prime Karen Haber

/

Adobe ePub DRM

4.73 €

Vintage Rose Flower Scrapbook Paper Pad Crafty As Ever

/

Capa mole

10.79 €

Studies in the Islam and Science Nexus Muzaffar Iqbal

/

Capa mole

63.07 €

Nutraceuticals for Aging and Anti-Aging Jayant Nemchand Lokhande

/

Livro de capa dura

265.53 €

The Dark Prince: Kingdom of Emperia Book Two K. C. Wanamaker

/

Capa mole

10.69 €

Bishop Brown's Fight Anonymous

/

Capa mole

14.62 €

The Dolphin of Silverwax Bay Nathan Page

/

Capa mole

7.26 €

Creator of puzzles - Calcudoku 240 Easy Puzzles 9x9 (Volume 9) Veronika Localy

/

Capa mole

8.57 €

Autobiography with Letters, V1 William Lyon Phelps

/

Capa mole

42.58 €

Missbenj J L DOMINEK

/

Capa mole

30.17 €

Pediatric Colorectal and Pelvic Surgery LANE

/

Livro de capa dura

278.55 €

Ritual Change at the End of the Maya Classic Period: A Study of Incense Burners from the Southern Lowlands Maria Dolores Tobias

/

Capa mole

27.75 €

Why Catholics Cannot Be Masons John Salza

/

Capa mole

9.88 €

Elsie on the Hudson, Book 23 Martha Finley

/

Capa mole

15.73 €

Alexander of Russia Henri Troyat

/

Capa mole

12.61 €

Left's Dirty Job W. Rand Smith

/

Capa mole

60.85 €

Genocide and the Geographical Imagination James A Tyner

/

Livro de capa dura

94.76 €

Credit Risk Management Jirí Witzany

/

Livro de capa dura

127.06 €

Tropical Rainforests Susan E. Place

/

Capa mole

55.50 €

Basic Writings of Nietzsche Friedrich Wilhe Nietzsche

/

Capa mole

17.85 €

Studying Judaism Melanie Jane Wright

/

Livro de capa dura

140.48 €

Darkness, Take My Hand Dennis Lehane

/

Capa mole

12.61 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?