HOME > Detail View

Detail View

Algebraic methodology and software technology: 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings

Algebraic methodology and software technology: 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings (Loan 1 times)

Material type
단행본
Personal Author
Haeberer, Armando Mart?n 1947-
Title Statement
Algebraic methodology and software technology: 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martin Haeberer (ed.).
Publication, Distribution, etc
Berlin ;   New York :   Springer ,   c1999.  
Physical Medium
xi, 529 p. : ill. ; 24 cm.
Series Statement
Lecture notes in computer science , 0302-9743 ; 1548
ISBN
3540654623 (pbk. : alk. paper)
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Software engineering -- Congresses. Abstract data types (Computer science) -- Congresses.
000 01162camuu2200277 a 4500
001 000000667766
005 20000711104925
008 981210s1999 gw a b 101 0 eng
010 ▼a 98053816
020 ▼a 3540654623 (pbk. : alk. paper)
040 ▼a DLC ▼c DLC ▼d OCL ▼d 211009
049 1 ▼l 121042370 ▼f 과학
050 0 0 ▼a QA76.758 ▼b .A44 1999
082 0 0 ▼a 005.1 ▼2 21
090 ▼a 005.1 ▼b A394
245 0 0 ▼a Algebraic methodology and software technology: ▼b 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings / ▼c Armando Martin Haeberer (ed.).
260 ▼a Berlin ; ▼a New York : ▼b Springer , ▼c c1999.
300 ▼a xi, 529 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science , ▼x 0302-9743 ; ▼v 1548
504 ▼a Includes bibliographical references and index.
650 0 ▼a Software engineering ▼v Congresses.
650 0 ▼a Abstract data types (Computer science) ▼v Congresses.
700 1 ▼a Haeberer, Armando Mart?n ▼d 1947-
711 2 ▼a International Conference on Algebraic Methodology and Software Technology ▼n (7th : ▼d 1999 : ▼c Amazonia, Brazil)
950 1 ▼b \67427

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1 A394 Accession No. 121042370 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Table of Contents In these Proceedings, the invited talks are grouped into a separate corpus. Papers are loosely grouped by theme, as were the presentation sessions. Because of these weak groupings, to give names to the sessions would have been misleading. Invited Talks (Extended Abstracts) Duration Calculus, a Logical Approach to Real-Time Systems Zhou Chaochen Abstract Algebraic Logic Don Pigozzi Systematising Reactive System Design Thomas S.E. Maibaum, Pauline Kan, and Kevin Lano Systematic Design of Call-Coverage Features Pamela Zave Visual Abstractions for Temporal Verification Zohar Manna, Anca Browne, Henny B. Sipma, and Tom s E. Uribe A Linear Metalanguage for Concurrency Glynn Winskel Presentations Session 1 Verification of Bounded Delay Asynchronous Circuits with Timed Traces Tomohiro Yoneda, Bin Zhou, and Bernd-Holger Schlingloff Verification of Temporal Properties of Processes in a Setting with Data Jan Friso Groote and Radu Mateescu A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus Gabriel A. Baum, Marcelo F. Frias, and Thomas S.E. Maibaum Effective Recognizability and Model Checking of Reactive Fiffo Automata Gregoire Sutre, Alain Finkel, Olivier Roux, and Franck Cassez Combining Methods for the Livelock Analysis of a Fault-Tolerant System Bettina Buth, Jan Peleska, and Hui Shi Session 2 Separating Sets by Modal Formulas Bernhard Heinemann Interpolation in Modal Logic Maarten Marx Building Models of Linear Logic Valeria de Paiva and Andrea Schalk Term Rewriting in a Logic of Special Relations W. Marco Schorlemmer Abstraction Barriers in Equational Proof Jo Erskine Hannay Session 3 A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes Mourad Debbabi, Abdelkader Benzakour, and Bechir Ktari A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs Juergen Dingel Consistency of Partial Process Specifications Maarteen Steen, John Derrick, Eerke Boiten, and Howard Bowman Obervational Logic Rolf Hennicker and Michel Bidoit Scheduling Algebra Rob van Glabbeek and Peter Rittgen Session 4 Algebraic Semantics of Coordination or What Is in a Signature?


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Ramamurthy, Bina (2021)
윤관식 (2020)