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 All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$50.35

33%
OFF

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Paperback

RRP $100.75

$45.50

55%
OFF

Python Crash Course

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

Paperback

RRP $89.99

$58.95

34%
OFF

ASYNC Rust : Unleashing the Power of Fearless Concurrency - Maxwell Flitton

$72.25

29%
OFF

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Hardcover

RRP $42.99

$28.50

34%
OFF

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $86.96

$62.75

28%
OFF

Python for Data Analysis 3e

Data Wrangling with pandas, NumPy, and Jupyter

Paperback

RRP $121.75

$53.75

56%
OFF

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Paperback

RRP $85.50

$39.75

54%
OFF

Think Python

How To Think Like a Computer Scientist

Paperback

RRP $74.25

$34.90

53%
OFF

Exploiting Modern C++ : C++ In-Depth Series - Matthew Butler

$29.25

52%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $76.00

$35.75

53%
OFF

Learn Python 3 the Hard Way

A Very Simple Introduction to the Terrifyingly Beautiful World of Computers and Code

Paperback

RRP $60.95

$45.80

25%
OFF

Java How to Program, Early Objects

11th Global Edition

Paperback

RRP $144.95

$108.35

25%
OFF

Modern PHP

New Features and Good Practices

Paperback

RRP $45.75

$26.25

43%
OFF

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $112.00

$99.25

11%
OFF

High Performance Python

Practical Performant Programming for Humans

Paperback

RRP $100.75

$45.50

55%
OFF

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $85.50

$39.75

54%
OFF

Head First C#

A Learner's Guide to Real-World Programming with C# and .Net

Paperback

RRP $121.75

$53.75

56%
OFF

Advancing into Analytics

From Excel to Python and R

Paperback

RRP $100.75

$45.50

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 $100.75

$45.50

55%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $121.75

$53.75

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 All-in-One For Dummies

3rd Edition

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Python Crash Course

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

ASYNC Rust

Unleashing the Power of Fearless Concurrency

The C Programming Language

Prentice Hall Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python for Data Analysis 3e

Data Wrangling with pandas, NumPy, and Jupyter

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Think Python

How To Think Like a Computer Scientist

Exploiting Modern C++

C++ In-Depth Series

SQL Tuning

O'Reilly Ser.

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Learn Python 3 the Hard Way

A Very Simple Introduction to the Terrifyingly Beautiful World of Computers and Code

Java How to Program, Early Objects

11th Global Edition

Modern PHP

New Features and Good Practices

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

High Performance Python

Practical Performant Programming for Humans

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Head First C#

A Learner's Guide to Real-World Programming with C# and .Net

Advancing into Analytics

From Excel to Python and R

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

This product is categorised by

Popular Searches