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 Algebraic Methodology and Software Technology Teodor Rus

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Língua

Inglês

Livro Capa mole

Livro Algebraic Methodology and Software Technology Teodor Rus

Código Libristo: 01567397

Editoras Springer, Berlin, novembro 1999

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Meth... Descrição completa

Código Libristo: 01567397

?

points

249 b

102.93 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Společenská hra Pohádkový soubor 9 her

/

Jogo

27.70 €

Akupresura Jiří Marek

/

Livro

8.28 €

Mariposa mozgalom Gert Nygardshaug

/

Capa mole

12.22 €

!Vuelve a ser Navidad! Annika Devert

/

Capa mole

22.44 €

Kai Martin Ritterbach

/

Capa mole

18.29 €

Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P

/

Capa mole

7.17 €

Le Tréportais Gilbert Testelin-Un policier en résistance Charon

/

Capa mole

23.65 €

DEACON KING KONG MCBRIDE JAMES

/

Capa mole

32.04 €

Das große Buch der russischen Küche A. A. Samojlow

/

Livro de capa dura

29.31 €

Deutsche Romantik Georg Mehlis

/

Capa mole

40.94 €

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

/

Capa mole

64.20 €

20 lustige Geschichten Klaus-Dieter Baudach

/

Capa mole

12.93 €

Projektevaluation fur eine Nonprofit-Organisation Christian Bindella

/

Capa mole

49.94 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.

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 Algebraic Methodology and Software Technology

Autor Teodor Rus

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2000

Número de páginas 545

EAN 9783540675303

ISBN 3540675302

Código Libristo 01567397

Editoras Springer, Berlin

Peso 780

Dimensões 155 x 235 x 29

Categorias

Matemática & ciência > Matemática > Álgebra

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 > Engenharia de programas

Informática & tecnologia da informação > Segurança informática > Encriptação de dados

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

An Introduction to Convex Polytopes Arne Brondsted

/

Capa mole

50.55 €

Survival or Extinction? Bridget Martin

/

Livro de capa dura

37.81 €

National Geographic Readers: Ibn al-Haytham Libby Romero

/

Livro de capa dura

16.47 €

Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light

/

Capa mole

18.49 €

Spark Courtney Elizabeth Mauk

/

Capa mole

14.75 €

Heart of Darkness Joseph Conrad

/

Livro de capa dura

18.70 €

Homeless Dogs and Melancholy Apes Laura Brown

/

Capa mole

40.03 €

Twenty-One Laboratory Sessions in Microbiology: A Concise Laboratory Manual to Accompany an Introductory Microbiology Course Michael J Anzelone

/

Capa mole

59.75 €

School Leadership in Times of Urban Reform Marilyn Bizar

/

Livro de capa dura

198.58 €

Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht

/

Capa mole

9.39 €

Ethereum: Master the Ether and Profit from Opportunity David Chang

/

Capa mole

14.65 €

The Works of Tobias Smollett, M.D. Tobias George Smollett

/

Capa mole

32.04 €

Routledge Guidebook to Machiavelli's The Prince John T. Scott

/

Livro de capa dura

213.65 €

Bioactive Ceramides in Health and Disease Johnny Stiban

/

Livro de capa dura

102.93 €

Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel

/

Diário

16.17 €

Treatise On The History And Construction Of The Violin: With A Short Account Of The Lives Of Its Greatest Players And Makers (1807) Georges Foucher

/

Capa mole

20.21 €

Course in Stochastic Game Theory Eilon Solan

/

Livro de capa dura

117.49 €

Mastering Active Directory FRANCIS

/

Capa mole

53.38 €

Lazy Dungeon Master (Manga) Vol. 2 Youta

/

Capa mole

11.72 €

Rise of Small-Scale Development Organisations Hanne Haaland

/

Livro de capa dura

188.27 €

Introduction to Integral Psychology: Integral Psychology of Personality Development

/

Livro de capa dura

24.76 €

Proceedings of the 1st International Conference on Intelligent Healthcare and Computational Neural Modelling Ninni Singh

/

Adobe ePub DRM

215.26 €

Edgar Allen Poe Collection Edgar Allan Poe

/

Adobe ePub DRM

1.10 €

Chapters of Our Lives Ble Mary

/

Capa mole

19.30 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?