000 -LEADER |
fixed length control field |
00733nam a2200193Ia 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
161214s9999 xx 000 0 und d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
3540208135 |
Terms of availability |
pbk |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004 |
Item number |
BRO |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Broy, Manfred |
245 #0 - TITLE STATEMENT |
Title |
Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July , 2003 ; Revised Papers |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Berlin: |
Name of publisher, distributor, etc |
Springer, |
Date of publication, distribution, etc |
2003 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xv, 572 p.; |
Other physical details |
ill., index: |
Dimensions |
24 cm. |
365 ## - TRADE PRICE |
Price type code |
INR |
Price amount |
3702.60/ EURO 66.00 |
490 ## - SERIES STATEMENT |
Series statement |
Lecture notes in computer science |
520 ## - SUMMARY, ETC. |
Summary, etc |
This book constitutes the thoroughly refereed post conference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and super compilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer programming |
|
Topical term or geographic name as entry element |
Natural language processing |
|
Topical term or geographic name as entry element |
Constraint programming |
|
Topical term or geographic name as entry element |
Partial evaluation |
|
Topical term or geographic name as entry element |
Distributed systems |
|
Topical term or geographic name as entry element |
Reactive systems |
|
Topical term or geographic name as entry element |
Software engineering |
|
Topical term or geographic name as entry element |
Graphical interfaces |
|
Topical term or geographic name as entry element |
Program synthesis |
|
Topical term or geographic name as entry element |
Computer science |
|
Topical term or geographic name as entry element |
Systems engineering |
700 ## - ADDED ENTRY--PERSONAL NAME |
Personal name |
Zamulin, Alexandre V. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
|
Item type |
Books |