Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540211501

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Pragmatics

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_6 ◽

2007 ◽

pp. 145-150

Download Full-text

SPIL: Simple Parallel, Imperative Language

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_19 ◽

2007 ◽

pp. 681-706

Keyword(s):

Imperative Language

Download Full-text

SMIL: Simple Modular, Imperative Language

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_18 ◽

2007 ◽

pp. 671-680

Keyword(s):

Imperative Language

Download Full-text

SIL: Simple Imperative Language

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_17 ◽

2007 ◽

pp. 659-670

Keyword(s):

Imperative Language

Download Full-text

Quantitative Models of Time

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_15 ◽

2007 ◽

pp. 517-569

Keyword(s):

Quantitative Models

Download Full-text

Message and Live Sequence Charts

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_13 ◽

2007 ◽

pp. 375-474

Keyword(s):

Live Sequence Charts

Download Full-text

Modularisation

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_10 ◽

2007 ◽

pp. 243-283

Download Full-text

Syntax

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_8 ◽

2007 ◽

pp. 173-212

Download Full-text

Petri Nets

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_12 ◽

2007 ◽

pp. 315-373

Keyword(s):

Petri Nets

Download Full-text

Automata and Machines

Texts in Theoretical Computer Science An EATCS Series - Software Engineering 2 ◽

10.1007/978-3-540-33193-3_11 ◽

2007 ◽

pp. 285-312

Download Full-text