Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings

By: Dines BjÃ¸rner (Editor), Manfred Broy (Editor), Alexandre V. Zamulin (Editor)

Write A Review

Paperback | 1 March 2000

At a Glance

Paperback
556 Pages

Dimensions(cm)
22.86 x 15.24 x 2.87

Paperback

$187.31

or 4 interest-free payments of $46.83 with

or

Aims to ship in 7 to 10 business days

This volume comprises the papers presented at the Third International Andrei Ershov Memorial Conference Perspectives of System Informatics", Akadem- rodok (Novosibirsk, Russia), July 6{9, 1999. The main goal of the conference was to give an overview of research directions which are decisive for the growth of major areas of research activities in system informatics. The conference was the third one in the line. The r st and second inter- tionalconferencesPerspectivesofSystemInformatics"wereheldinNovosibirsk, Akademgorodok, in May, 1991, and June, 1996, respectively. Both conferences gathered a wide spectrum of specialists and were undoubtedly very successful. The third conferenceincluded many of the subjects of the second conference, such as theoretical computer science, programming methodology, new infor- tiontechnologies,andthepromising eldofarti cialintelligence|asimportant components of system informatics. The style of the second conference was p- served to a certain extent in that there were a considerable number of invited papers in addition to the contributed papers. However,posters were replaced by short talks mainly given by young researchers.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$58.95

34%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$28.25

50%
OFF

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $112.00

$99.25

11%
OFF

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$47.75

55%
OFF

C++ How to Program, Global Edition

11th Edition

Paperback

RRP $161.17

$129.75

19%
OFF

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Paperback

RRP $125.50

$55.25

56%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$66.25

56%
OFF

Head First C#

4th Edition

Paperback

RRP $133.00

$50.25

62%
OFF

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Paperback

RRP $106.50

$47.75

55%
OFF

Definitive ANTLR 4 Reference

2nd Edition

Paperback

RRP $70.35

$33.25

53%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$41.75

54%
OFF

Learning Modern C++ for Finance : Foundations for Quantitative Programming - Daniel Hanson

$55.25

56%
OFF

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Paperback

RRP $152.00

$66.25

56%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Paperback

RRP $152.00

$66.25

56%
OFF

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$66.25

56%
OFF

JavaScript Cookbook

Programming the Web 3rd Edition

Paperback

RRP $152.00

$66.25

56%
OFF

Getting Started with Sensors

Measure the World with Electronics, Arduino, and Raspberry Pi

Paperback

RRP $38.00

$23.75

37%
OFF

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

Paperback

RRP $110.25

$48.95

56%
OFF

HTTP

Understanding Web Internals

Paperback

RRP $123.50

$54.40

56%
OFF

Algebraic Specifications
The Common Framework Initiative for Algebraic Specification and Development of Software (Invited Talk)	p. 1
A Logical Approach to Specification of Hybrid Systems	p. 10
Specifications with States
Algebraic Imperative Specifications (Invited Talk)	p. 17
Enhanced Control Flow Graphs in Montages	p. 40
Abstract State Machines for the Composition of Architectural Styles	p. 54
Partial Evaluation and Supercompilation
The Essence of Program Transformation by Partial Evaluation and Driving (Invited Talk)	p. 62
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All	p. 80
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification	p. 93
Sonic Partial Deduction	p. 101
On Perfect Supercompilation	p. 113
Linear Time Self-Interpretation of the Pure Lambda Calculus	p. 128
An Optimal Algorithm for Purging Regular Schemes	p. 143
Polymorphism in OBJ-P	p. 149
Concurrency and Parallelism
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem (Invited Talk)	p. 155
Serializability Preserving Extensions of Concurrency Control Protocols	p. 180
Platform Independent Approach for Detecting Shared Memory Parallelism	p. 194
Hierarchical Cause-Effect Structures	p. 198
Some Decidability Results for Nested Petri Nets	p. 208
Abstract Structures for Communication between Processes	p. 221
Logic and Processes
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs	p. 228
On Semantics and Correctness of Reactive Rule-Based Programs	p. 235
Compositional Verification of CCS Processes	p. 247
Compositional Style of Programming FPGAs	p. 257
Languages and Software
Using Experiments to Build a Body of Knowledge (Invited Talk)	p. 265
Patterns in Words versus Patterns in Trees: A Brief Survey and New Results	p. 283
Extensions: A Technique for Structuring Functional-Logic Programs	p. 297
Language Tools and Programming Systems in Educational Informatics.	p. 311
Database Programming
Current Directions in Hyper-Programming (Invited Talk)	p. 316
Integration of Different Commit/Isolation Protocols in CSCW Systems with Shared Data	p. 341
A General Object-Oriented Model for Spatial Data	p. 352
Object-Oriented Programming
Twin - A Design Pattern for Modeling Multiple Inheritance	p. 358
A Partial Semantics for Object Data Models with Static Binding	p. 370
Heterogeneous, Nested STL Containers in C++	p. 383
Data Flow Analysis of Java Programs in the Presence of Exceptions	p. 389
Late Adaptation of Method Invocation Semantics	p. 396
Constraint Programming
A Control Language for Designing Constraint Solvers	p. 402
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints	p. 416
Constraint Programming Techniques for Solving Problems on Graphs	p. 424
Extensional Set Library for ECLⁱPS^e	p. 434
Model & Program Checking
Introducing Mutual Exclusion in Esterel	p. 445
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications	p. 460
Formal Verification of a Compiler Back-End Generic Checker Program.	p. 470
Construction of Verified Compiler Front-Ends with Program-Checking	p. 481
Translating SA/RT Models to Synchronous Reactive Systems:An Approximation to Modular Verification Using the SMV Model Checker	p. 493
Artificial Intelligence
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles	p. 503
Approach to Understanding Weather Forecast Telegrams with Agent-Based Technique	p. 511
Approach to Development of a System for Speech Interaction with an Intelligent Robot	p. 517
Analysis of Sign Languages: A Step Towards Multi-lingual Machine Translation for Sign Languages	p. 530
Author Index	p. 539
Table of Contents provided by Publisher. All Rights Reserved.

Perspectives of System Informatics

Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

C++ How to Program, Global Edition

11th Edition

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Head First C#

4th Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Definitive ANTLR 4 Reference

2nd Edition

Hands-on Rust

Effective Learning through 2D Game Development and Play

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Fluent C

Principles, Practices, and Patterns

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Typescript Cookbook

Real World Type-Level Programming

Scaling Python with Dask

From Data Science to Machine Learning

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Python for Algorithmic Trading

From Idea to Cloud Deployment

JavaScript Cookbook

Programming the Web 3rd Edition

Getting Started with Sensors

Measure the World with Electronics, Arduino, and Raspberry Pi

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

HTTP

Understanding Web Internals

This product is categorised by

Popular Searches