Introduction to Programming with Modula-2, G?nther Blaschek; R. Bach; Gustav Pomberger

Автор: R. Bach; J. Weizenbaum; Laszlo B?sz?rmenyi; Carste
Название: Programming in Modula-3
ISBN: 364264614X ISBN-13(EAN): 9783642646140
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The misun- derstanding with respect to tasks posed to the computer arises from the failure to recognize that such tasks can scarcely be expressed in natural language, if indeed at all. Klagenfurt, April 1995 Preface Striving to make learning to program easier, this book addresses primarily students beginning a computer science major.

Автор: Daniel Thalmann
Название: Modula-2
ISBN: 354013297X ISBN-13(EAN): 9783540132974
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Kaare Christian
Название: A Guide to Modula-2
ISBN: 1461293499 ISBN-13(EAN): 9781461293491
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. During the 1970`s Pascal became the most widely taught programming language and it gained acceptance in science and industry. Pascal is a poor language for large jobs because it lacks facilities for partitioning a program viii Preface 6< ;

Автор: J?rg Gutknecht; Wolfgang Weck
Название: Modular Programming Languages
ISBN: 3540679588 ISBN-13(EAN): 9783540679585
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers presented here are organized in sections on parallel and distributed computing, components, extensions and applications, and compilers and runtime environments.

Автор: Hanspeter M?ssenb?ck
Название: Modular Programming Languages
ISBN: 3540625992 ISBN-13(EAN): 9783540625995
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Chiba
Название: Transactions on Modularity and Composition I
ISBN: 3319469681 ISBN-13(EAN): 9783319469683
Издательство: Springer
Рейтинг:
Цена: 10761.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Heiner Stuckenschmidt; Christine Parent; Stefano S
Название: Modular Ontologies
ISBN: 3642019064 ISBN-13(EAN): 9783642019067
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It offers an analysis of the research area and discusses the concepts, theories and techniques for knowledge modularization.

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

Описание: Tagline: The single most important feature in Java 9

Автор: Michel Schellekens
Название: A Modular Calculus for the Average Cost of Data Structuring
ISBN: 148999906X ISBN-13(EAN): 9781489999061
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 0792396537 ISBN-13(EAN): 9780792396536
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.

Автор: Markus M?ller-Olm
Название: Modular Compiler Verification
ISBN: 3540634061 ISBN-13(EAN): 9783540634065
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.