Algebraic Methodology and Software Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

47
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540638889, 9783540696612
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals CAMILA: Prototyping and refinement of constructive specifications

1997 ◽  
pp. 554-559 ◽  
Author(s):  
J. J. Almeida ◽  
L. S. Barbosa ◽  
F. L. Neves ◽  
J. N. Oliveira

Representing place/transition nets in Span(Graph)

1997 ◽  
pp. 322-336 ◽  
Author(s):  
Piergiulio Katis ◽  
N. Sabadini ◽  
R. F. C. Walters

scholarly journals Ensuring streams flow

1997 ◽  
pp. 509-523 ◽  
Author(s):  
Alastair Telford ◽  
David Turner

Rigorous object-oriented modeling: Integrating formal and informal notations

1997 ◽  
pp. 216-230 ◽  
Author(s):  
R. B. France ◽  
J. -M. Bruel ◽  
M. M. Larrondo-Petrie ◽  
E. Grant
Keyword(s):  
Object Oriented
Load More ...
Sign in / Sign up

Export Citation Format

Share Document