|
|
|
|
| LEADER |
05305nmm a2200421 u 4500 |
| 001 |
EB001884698 |
| 003 |
EBX01000000000000001048065 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
191115 ||| eng |
| 020 |
|
|
|a 9783540465621
|
| 100 |
1 |
|
|a Bjørner, Dines
|e [editor]
|
| 245 |
0 |
0 |
|a Perspectives of System Informatics
|h Elektronische Ressource
|b Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings
|c edited by Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
|
| 250 |
|
|
|a 1st ed. 2000
|
| 260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2000, 2000
|
| 300 |
|
|
|a XII, 540 p
|b online resource
|
| 505 |
0 |
|
|a Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem -- Serializability Preserving Extensions of Concurrency Control Protocols -- Platform Independent Approach for Detecting Shared Memory Parallelism -- Hierarchical Cause-Effect Structures -- Some Decidability Results for Nested Petri Nets -- Abstract Structures for Communication between Processes -- Logic and Processes -- Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs -- On Semantics and Correctness of Reactive Rule-Based Programs -- Compositional Verification of CCS Processes -- Compositional Style of Programming FPGAs -- Languages and Software -- Using Experiments to Build a Body of Knowledge -- Patterns in Words versus Patterns in Trees: A Brief Survey and New Results -- Extensions: A Technique for Structuring Functional-Logic Programs -- Language Tools and Programming Systems inEducational Informatics -- Database Programming --
|
| 505 |
0 |
|
|a Algebraic Specifications -- The Common Framework Initiative for Algebraic Specification and Development of Software -- A Logical Approach to Specification of Hybrid Systems -- Specifications with States -- Algebraic Imperative Specifications -- Enhanced Control Flow Graphs in Montages -- Abstract State Machines for the Composition of Architectural Styles -- Partial Evaluation and Supercompilation -- The Essence of Program Transformation by Partial Evaluation and Driving -- Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All -- Abstraction-Based Partial Deduction for Solving Inverse Problems — A Transformational Approach to Software Verification -- Sonic Partial Deduction -- On Perfect Supercompilation -- Linear Time Self-Interpretation of the Pure Lambda Calculus -- An Optimal Algorithm for Purging Regular Schemes -- Polymorphism in OBJ-P -- Concurrency and Parallelism --
|
| 505 |
0 |
|
|a Current Directions in Hyper-Programming -- Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data -- A General Object-Oriented Model for Spatial Data -- Object-Oriented Programming -- Twin — A Design Pattern for Modeling Multiple Inheritance -- A Partial Semantics for Object Data Models with Static Binding -- Heterogeneous, Nested STL Containers in C++ -- Data Flow Analysis of Java Programs in the Presence of Exceptions -- Late Adaptation of Method Invocation Semantics -- Constraint Programming -- A Control Language for Designing Constraint Solvers -- An Algorithm to Compute Inner Approximations of Relations for Interval Constraints -- Constraint Programming Techniques for Solving Problems on Graphs -- Extensional Set Library for ECLiPSe -- Model & Program Checking -- Introducing Mutual Exclusion in Esterel -- Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications --
|
| 505 |
0 |
|
|a Formal Verification of a Compiler Back-End Generic Checker Program -- Construction of Verified Compiler Front-Ends with Program-Checking -- Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker -- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles -- Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles -- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique -- Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique -- Natural Communication with Robots -- Approach to Development of a System for Speech Interaction with an Intelligent Robot -- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for SignLanguages -- Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages
|
| 653 |
|
|
|a Compilers (Computer programs)
|
| 653 |
|
|
|a Computer Science Logic and Foundations of Programming
|
| 653 |
|
|
|a Compilers and Interpreters
|
| 653 |
|
|
|a Software engineering
|
| 653 |
|
|
|a Programming Techniques
|
| 653 |
|
|
|a Computer science
|
| 653 |
|
|
|a Computer programming
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a Software Engineering
|
| 653 |
|
|
|a Artificial intelligence
|
| 700 |
1 |
|
|a Broy, Manfred
|e [editor]
|
| 700 |
1 |
|
|a Zamulin, Alexandre V.
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a Lecture Notes in Computer Science
|
| 028 |
5 |
0 |
|a 10.1007/3-540-46562-6
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/3-540-46562-6?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.45
|