HOME > 상세정보

상세정보

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 (1회 대출)

자료유형
단행본
개인저자
Haeberer, Armando Mart?n 1947-
서명 / 저자사항
Algebraic methodology and software technology: 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martin Haeberer (ed.).
발행사항
Berlin ;   New York :   Springer ,   c1999.  
형태사항
xi, 529 p. : ill. ; 24 cm.
총서사항
Lecture notes in computer science , 0302-9743 ; 1548
ISBN
3540654623 (pbk. : alk. paper)
서지주기
Includes bibliographical references and index.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.1 A394 등록번호 121042370 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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?


정보제공 : Aladin

관련분야 신착자료