Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book
Algebraic Methodology and Software Technology
9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 2422/2002
DOI
10.1007/3-540-45719-4
Copyright
2002
ISBN
978-3-540-44144-1
Subject Collection
Computer Science
SpringerLink Date
Saturday, August 02, 2003
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
34 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-34
|
Next
Front Matter
PDF (145.5 KB)
Chapter
From Specifications to Code in Casl
David Aspinall
and
Donald Sannella
DOI: 10.1007/3-540-45719-4_1
PDF (223.2 KB)
11-40
Chapter
Automata and Games for Synthesis
Igor Walukiewicz
DOI: 10.1007/3-540-45719-4_2
PDF (170.2 KB)
203-206
Chapter
Pragmatics of Modular SOS
Peter D. Mosses
DOI: 10.1007/3-540-45719-4_3
PDF (347.8 KB)
49-72
Chapter
Tool-Assisted Specification and Verification of the JavaCard Platform
Gilles Barthe
,
Pierre Courtieu
,
Guillaume Dufay
and
Simão Melo de Sousa
DOI: 10.1007/3-540-45719-4_4
PDF (381.8 KB)
181-202
Chapter
Higher-Order Quantification and Proof Search
*
Dale Miller
DOI: 10.1007/3-540-45719-4_5
PDF (360.3 KB)
77-86
Chapter
Algebraic Support for Service-Oriented Architecture
Extended Abstract
José Luiz Fiadeiro
DOI: 10.1007/3-540-45719-4_6
PDF (1.2 MB)
215-230
Chapter
Fully Automatic Adaptation of Software Components Based on Semantic Specifications
*
Christian Haack
,
Brian Howard
,
Allen Stoughton
and
Joe B. Wells
DOI: 10.1007/3-540-45719-4_7
PDF (249.2 KB)
231-239
Chapter
HasCasl: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
and
Till Mossakowski
DOI: 10.1007/3-540-45719-4_8
PDF (359.0 KB)
153-180
Chapter
Removing Redundant Arguments of Functions
*
María Alpuente
,
Santiago Escobar
and
Salvador Lucas
DOI: 10.1007/3-540-45719-4_9
PDF (420.0 KB)
241-242
Chapter
A Class of Decidable Parametric Hybrid Systems
Michaël Adélaïde
and
Olivier Roux
DOI: 10.1007/3-540-45719-4_10
PDF (425.1 KB)
97-108
Back Matter
PDF (30.8 KB)
34 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-34
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Starts With
34 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Author
José Luiz Fiadeiro
Till Mossakowski
Dieter Hutter
Axel Schairer
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.105 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)