9783540671022 - perspectives of system informatics: third international andrei ershov memorial conference, psi '99, akademgorodok, novosibirsk, russia, july 1999 : proceedings: 1755 di international andrei ershov memorial conference 1999 akademgorodok, n; bjorner, dines; broy, manfred; zamulin, a. v. (5 risultati)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,53
EUR 13,99 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 155,09
EUR 14,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 540 pages. 9.50x6.25x1.25 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 118,64
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Includes supplementary material: sn.pub/extrasAlgebraic Specifications.- The Common Framework Initiative for Algebraic Specification and Development of Software.- A Logical Approach to Specification of Hybrid Systems.- Specifications with States.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 182,82
EUR 29,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 146,51
EUR 64,19 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Neuware - 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.- Abstrac…t 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.- 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.- 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.- 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.
