A Guide to Modula-2, Kaare Christian

Автор: G?nther Blaschek; R. Bach; Gustav Pomberger
Название: Introduction to Programming with Modula-2
ISBN: 3540520384 ISBN-13(EAN): 9783540520382
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.

Автор: Daniel Thalmann
Название: Modula-2
ISBN: 354013297X ISBN-13(EAN): 9783540132974
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. In summary, MODULA-2 may be used equally well as a general-purpose programming language and as a system implementation language.

Автор: Michel Schellekens
Название: A Modular Calculus for the Average Cost of Data Structuring
ISBN: 148999906X ISBN-13(EAN): 9781489999061
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult.

Автор: Alexandru Jecan
Название: Java 9 Modularity Revealed
ISBN: 1484227123 ISBN-13(EAN): 9781484227121
Издательство: Springer
Рейтинг:
Цена: 30740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Tagline: The single most important feature in Java 9

Автор: J?rg Gutknecht; Wolfgang Weck
Название: Modular Programming Languages
ISBN: 3540679588 ISBN-13(EAN): 9783540679585
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers presented here are organized in sections on parallel and distributed computing, components, extensions and applications, and compilers and runtime environments.

Автор: Markus M?ller-Olm
Название: Modular Compiler Verification
ISBN: 3540634061 ISBN-13(EAN): 9783540634065
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on modular compiler verification, this volume presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. It covers correctness of translation down to actual machine code.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Автор: Chiba
Название: Transactions on Modularity and Composition I
ISBN: 3319469681 ISBN-13(EAN): 9783319469683
Издательство: Springer
Рейтинг:
Цена: 71740.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.

Автор: Hanspeter M?ssenb?ck
Название: Modular Programming Languages
ISBN: 3540625992 ISBN-13(EAN): 9783540625995
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text comprises the proceedings of the Joint Modular Languages Conference, JMLC`97. The book covers languages, techniques, and tools for the development of modular, extensible, and type-safe software systems.