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 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Object-Oriented Technology

Suad Alagic

Língua

Inglês

Livro Capa mole

Código Libristo: 15368788

Editoras Springer International Publishing AG, outubro 2016

The core idea of this book is that object- oriented technology is a generic technology whose various... Descrição completa

Código Libristo: 15368788

87 b

35.95 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Rilevamento del carico microbico sui kit per il parto dopo la sterilizzazione con raggi gamma Farheen Aslam

Capa mole

43.24 €

Punisher Max. Tom 1 wyd. 2023 Garth Ennis

Livro de capa dura

25.82 €

Změň svůj dech a začnou se dít věci Rostislav Václavek

Livro de capa dura

12.85 €

Les grands récits occidentaux Tome 2 Le pilier judéo-chrétien Maes

Capa mole

22.78 €

El sueño de Pinto GIL CARMEN

Livro de capa dura

6.37 €

Prakticheskaya realizaciya lichnostno orientirovannogo obucheniya yazykam Margarita Daver

Capa mole

82.43 €

Landrechtsentwurf Fuer Oesterreich Unter Der Enns 1573 Wilhelm Brauneder

Livro de capa dura

108.16 €

Tosco-Venezianischer Bestiarius Max Goldstaub

Capa mole

28.35 €

Waldmensch Adolf Schirmer

Capa mole

35.44 €

Notions de Sciences Physiques Et Naturelles, Redigees d'Apres Les Programmes Officiels E Vitte

Capa mole

21.77 €

The core idea of this book is that object- oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter. The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification.