Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Livro Modular Specification and Verification of Object-Oriented Programs Peter Müller

Modular Specification and Verification of Object-Oriented Programs

Língua

Inglês

Livro Capa mole

Livro Modular Specification and Verification of Object-Oriented Programs Peter Müller

Código Libristo: 01564071

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

This book presents new techniques for the formal specification and verification of object-oriented s... Descrição completa

Código Libristo: 01564071

?

points

111 b

46.06 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Le Barman du Ritz Philippe Collin

/

Capa mole

23.89 €

Kniha hlavolamů s mapami měst a zemí Philip Kiefer

/

Livro de capa dura

9.91 €

Gesänge der Liebe Hans-Peter Kolb

/

Livro de capa dura

20.55 €

Wechselkröte Ana Marwan

/

Livro de capa dura

19.23 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

/

Capa mole

33.71 €

Imbricaciones Mancini

/

Capa mole

29.66 €

Schutz der außenstehenden Gesellschafter einer abhängigen Personengesellschaft im mehrstufigen Unternehmensverbund. Elke Schmitt

/

Capa mole

58.72 €

Juste un regard Harlan Coben

/

Capa mole

22.37 €

Čepiec Katarína Kucbelová

/

Livro de capa dura

11.64 €

Cours Complet Par Correspondance. Tome 15

/

Capa mole

11.64 €

Frost Thomas Bernhard

/

Capa mole

11.23 €

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.

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 Modular Specification and Verification of Object-Oriented Programs

Autor Peter Müller

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2002

Número de páginas 298

EAN 9783540431671

ISBN 3540431675

Código Libristo 01564071

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

Peso 970

Dimensões 155 x 235 x 17

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 > Programação orientada a objeto (OOP)

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 > Arquitetura informática e conceção lógica

Medicina & enfermagem > Medicina: generalidades

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

Verified Software: Theories, Tools, Experiments Natarajan Shankar

/

Capa mole

46.06 €

Toward the Critique of Violence Peter Fenves

/

Capa mole

19.74 €

Prehistory of South America Jerry D Moore

/

Capa mole

44.65 €

What I Think Happened Evany Rosen

/

Capa mole

13.26 €

Thoughts On Science, Theology And Ethics John Wilson

/

Capa mole

22.98 €

Dress-Up Doodles

/

Capa mole

4.85 €

Start a Business: How to Work from Home Generating Passive Income Selling Online Courses T Whitmore

/

Capa mole

12.85 €

After Atlas Emma Newman

/

Capa mole

26.93 €

Grady's Tour: Lieutenant John Grady's Tour of Duty In Korean War John H Gallagher

/

Capa mole

18.72 €

Sylvie and the Christmas Ghost Foxglove Lee

/

Capa mole

12.55 €

Snohetta: Collective Intuition SN HETTA

/

Livro de capa dura

48.70 €

All Downhill From Here Paul Waters

/

Capa mole

10.12 €

Flower Mandalas Adult Coloring Book: Adult Coloring Book Featuring Beautiful Mandalas Designed to Soothe the Soul Flower Mandalas Publishing

/

Capa mole

7.99 €

What's a Lady Got to Do to Fulfill Her Life? Felicity Talisman

/

Capa mole

14.17 €

David Hockney. My Window Hockney

/

Livro de capa dura

11.94 €

TRICKY BUSINESS OF FAERIE BARGAINS MCCARTY REENA

/

Capa mole

12.85 €

Penetration Testing with Raspberry Pi Aamir Lakhani

/

Capa mole

29.56 €

High Notes and Low Ray W Moore

/

Capa mole

17.81 €

Case Studies on Digital Government Bruce Rocheleau

/

Livro de capa dura

96.09 €

One Day I Will Write About This Place Binyavanga Wainaina

/

Capa mole

9.41 €

Manual of Nerve Conduction Study and Surface Anatomy for Needle Electromyography Joel A DeLisa

/

Capa mole

90.52 €

Scepter of Reason R. Gargarella

/

Livro de capa dura

46.06 €

Nuclear Energy Nicholas Tsoulfanidis

/

Livro de capa dura

192.49 €

Shiver Stone Sharon Tregenza

/

Capa mole

6.67 €

Conselheiro de livros Libroamiko

Olá, sou o Libroamiko, posso ajudar?