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 Specification, Algebra, and Software Shusaku Iida

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Língua

Inglês

Livro Capa mole

Livro Specification, Algebra, and Software Shusaku Iida

Código Libristo: 02483162

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

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions... Descrição completa

Código Libristo: 02483162

?

points

118 b

48.76 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Funko POP Games: Pokémon - Eevee

/

Brinquedo

21.60 €

Atlas Der Reontgenologischen Messmethoden Kurt Fochem

/

Capa mole

50.07 €

Modellierung kinetisch kontrollierter, turbulenter Flammen fur Magerbrennkonzepte Matthias Kern

/

Capa mole

41.08 €

Kommunikation des Herzens Rahasya Fritjof Kraft

/

Livro de capa dura

11.90 €

Erinnerungen eines Zeitzeugen Alexander Muth

/

Capa mole

19.07 €

Besteuerung von verheirateten Paaren in Deutschland Marco Theiling

/

Capa mole

16.04 €

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.

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 Specification, Algebra, and Software

Autor Shusaku Iida, José Meseguer, Kazuhiro Ogata

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2014

Número de páginas 657

EAN 9783642546235

ISBN 3642546234

Código Libristo 02483162

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

Peso 1013

Dimensões 155 x 235 x 36

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

Whispered Music Rachel Van Dyken

/

Capa mole

13.32 €

My Life Is Our Illusion Marshall Walker

/

Capa mole

17.36 €

Oxford Reading Tree TreeTops inFact: Level 16: Huge Art James Driver

/

Capa mole

12.91 €

Proof Theory for General Unification Wayne Snyder

/

Livro de capa dura

48.76 €

Photocatalysis Dionysios D. Dionysiou

/

Livro de capa dura

226.77 €

Class-Book of Modern Geography Hughes

/

Livro de capa dura

35.33 €

Nonfiction Alphabet Readers: 26 Just-Right Titles That Teach the Letters from A to Z Inc. Scholastic

/

Capa mole

16.95 €

Why I Wake Early Mary Oliver

/

Livro de capa dura

16.95 €

ALPHABET OF PHRENOLOGY H. T. Judson

/

Capa mole

14.83 €

Inherit the Holy Mountain Mark Stoll

/

Capa mole

49.97 €

Empty Tubes and Back Seat Memories Russ Warriner

/

Capa mole

19.17 €

Mindset On Increase: A Journey To Raise Your Frequency Pilar Scratch

/

Capa mole

11.00 €

Responsibility for Refugee and Migrant Integration Jan-Christoph Heilinger

/

Livro de capa dura

53.60 €

What Were the Negro Leagues? Varian Johnson

/

Capa mole

6.05 €

Welkei Collens Collins Wilkie

/

Capa mole

22.51 €

City Visual: Interior Embellishment Sendpoints

/

Livro de capa dura

39.37 €

Diagnosing from a Distance John Martin-Joy

/

Capa mole

31.90 €

On Aneurism, and Its Cure by a New Operation (1828) James Wardrop

/

Capa mole

20.49 €

Mega Mazes: 100 Challenging Mazes Margaret Gregory

/

Capa mole

10.09 €

Language, Thought and Consciousness Peter Carruthers

/

Livro de capa dura

46.64 €

Soft Tissue Therapy for the Lower Limb Jane Johnson

/

Capa mole

41.99 €

Practical Reasoning in a Social World Keith Graham

/

Capa mole

43.51 €

Check Your English Vocabulary for TOEFL Wyatt Rawdon Wyatt

/

Adobe ePub DRM

13.32 €

Options Edge + Free Trial - An Intuitive Approach to Generating Consistent Profits for the Novice to the Experienced Practitioner Michael Khouw

/

Capa mole

41.39 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?