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

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Formal Methods for Open Object-Based Distributed Systems Gilles Barthe
Código Libristo: 01567776
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2008
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on F... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Гигиена животных. Рабочая тетрадь для лабораторно-практических занятий и самостоятельной работы. Учебное пособие для вузов А.Ф. Кузнецов / Livro Capa mole
common.buy 25.33 €
Polítiques d'inserció sociolaboral Rosell Morales / Livro Capa mole
common.buy 23.10 €
Em breve Novo
Ravenmaster Nina Blazon / Livro Livro de capa dura
common.buy 18.43 €
La Caída de Porthos Embilea,: El País de la Niebla 2 Galán / Livro Capa mole
common.buy 22.59 €
Al final mueren los dos SILVERA / Livro Capa mole
common.buy 7.89 €
Policarpo Bonilla / Livro Capa mole
common.buy 10.94 €
Jóga Rhyner Hans H. / Livro Capa mole
common.buy 8.81 €
Koruna Evropy Jaromír Zaoral / Livro Livro de capa dura
common.buy 22.69 €
QUI A TUE LE PETIT CANICHE Livro Capa mole
common.buy 14.08 €
Návrat k Bohu Karl Jakob Hirsch / Livro Livro de capa dura
common.buy 10.33 €
Einführung in Body-Mind Centering Christine Mauch / Livro Capa mole
common.buy 37.89 €
Argumente kontra Religion Gottfried Beyvers / Livro Capa mole
common.buy 15.29 €
La isla en el horizonte Echavarría (Puerto Rico) / Livro Capa mole
common.buy 16.10 €
Il principe. Audiolibro. CD Audio formato MP3 C. Carini / Livro Capa mole
common.buy 16.31 €
Teología de bolsillo: Breve diccionario de la religión cristiana Iago Gómez Bellas / Livro Capa mole
common.buy 23.10 €
millonario de la puerta de al lado (EXITO) (Spanish Edition) Thomas J. Stanley / Livro Capa mole
common.buy 15.09 €
O Bairro de Gonçalo M. Tavares Fabiano Cardoso / Livro Capa mole
common.buy 55.64 €
Branche Versicherungen Gbi Genios / Livro Capa mole
common.buy 47.32 €
Einführung eines integrierten ERP-Systems bei einem IT-Dienstleister Patrick Herzog / Livro Capa mole
common.buy 50.05 €
Zur Geschichte Der Religion Und Philosophie in Deutschland Heinrich Heine / Livro Livro de capa dura
common.buy 23.70 €
Qualitat von Verkehrskenngroessen aus Videomessungen Hilger Schneider / Livro Capa mole
common.buy 16.21 €
Kasta metabaronů Alexandro Jodorowsky; Juan Gimenez / Livro Capa mole
common.buy 45.70 €

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.§The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

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 Formal Methods for Open Object-Based Distributed Systems
Autor Gilles Barthe
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 259
EAN 9783540688624
ISBN 3540688625
Código Libristo 01567776
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 427
Dimensões 155 x 235 x 16

Categorias

Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
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 > Sistemas operativos
Informática & tecnologia da informação > Gestão de redes & comunicação informática
Informática & tecnologia da informação > Ciência informática
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

Retrospeculation Ruth R Rains / Livro Capa mole
common.buy 10.33 €
Re-Storying Education Roberts / Livro Capa mole
common.buy 23.10 €
Daytona Beach Lifeguards Patti Light / Livro Folha
common.buy 7.89 €
Nocona Shannon Gillette / Livro Capa mole
common.buy 20.87 €
Haitians Jean Casimir / Livro Livro de capa dura
common.buy 120.49 €
Warship 2 – Frigate HMS Leander 2 Jantinus Mulder / Livro Capa mole
common.buy 19.65 €
Em breve
30-Second Maths Richard J. Brown / Livro Capa mole
common.buy 11.54 €
Tattoo on my Brain Daniel Gibbs / Livro Capa mole
common.buy 12.15 €
Ancient Hebrew: Yeshua Revealed Al Garza / Livro Capa mole
common.buy 18.33 €
Jacob Faithful Frederick Marryat / Livro Capa mole
common.buy 19.14 €
You Can Count On It: A Mentor's Arithmetic Patterns For Elementary Students Alexander Zabriskie Warren / Livro Capa mole
common.buy 27.96 €
Dodger and Me Jordan Sonnenblick / Livro Capa mole
common.buy 13.57 €
Passages from the diary of General Patrick Gordon of Auchleuchries. A.D. 1635- A.D. 1699 Gordon Patrick Gordon / Livro Capa mole
common.buy 22.49 €
Hybrid Drawing Techniques for Interior Design Jorge Paricio Garcia / E-book Adobe ePub DRM
common.buy 76.51 €
Chinese Medicine in Cancer Care: Herbs-Acupuncture-Qi gong-Nutrition-Prevention Niko Trian / Livro Capa mole
common.buy 33.84 €
1000 Mixed Sudoku Puzzles for Smart Minds: Perfect as a Birthday Present - Puzzle Book with Solutions - 9x9 Tommy Wohlfahrt / Livro Capa mole
common.buy 14.89 €
Friend in My Head: How to Set Your Goals For Success in Life Birdie Chesson / Livro Capa mole
common.buy 10.33 €
Krechinsky's Wedding: A Comedy in Three Acts Alexander Sukhovo-Kobylin / Livro Capa mole
common.buy 19.35 €
The Sultan Of Sulu: An Original Satire In Two Acts (1903) George Ade / Livro Capa mole
common.buy 21.17 €
The High Crosses of Ireland J. Romilly Allen / Livro Livro de capa dura
common.buy 34.65 €
Auguste Comte: His Philosophy, His Religion And His Sociology Annie Besant / Livro Capa mole
common.buy 20.26 €
Spurgeon on Prayer & Spiritual Warfare Charles Haddon Spurgeon / Livro Livro de capa dura
common.buy 27.96 €
In Praise of Copying Marcus Boon / Livro Capa mole
common.buy 27.15 €
Cognition, Culture, and Political Momentum William Hirst / Livro Livro de capa dura
common.buy 137.31 €

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?