1
by Wybraniec-Skardowska, U.
Published 1991
Springer Netherlands
..., and semiotic spirit of syntax of tradition, and shows two conceptions of the categorial languages : the theory...

2
by Rumpe, Bernhard
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Syntaxklassendiagramme -- B Java -- C Die Syntax der UML/P -- C1 UML/P-Syntax Übersicht -- C.2 Klassendiagramme -- C2.1...

3
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: ...8.1 Syntax -- 8.2 Semantik -- 8.3 Transformation verteilter Programme -- 8.4 Verifikation -- 8.5...

4
by Begain, Khalid, Bolch, Gunter, Herold, Helmut
Published 2001
Springer US
Table of Contents: ... Language -- 5 Modeling Using Mosel -- 6 Real—Life Examples -- A MOSEL and IGL Reference -- A.1 Syntax...

5
by Nilges, Edward G.
Published 2004
Apress
Table of Contents: ... Compiler Flyover -- 4 The Syntax for the QuickBasic Compiler -- 5 The Lexical Analyzer for the QuickBasic...

6 Table of Contents: ... -- opmnctl Usage -- Purpose -- Location -- Common Usages -- Syntax -- dcmctl Usage -- Purpose -- Location...

7
by Constable, R. L., Johnson, S. D., Eichenlaub, C. D.
Published 1982
Springer Berlin Heidelberg
Table of Contents: ...The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program...

8
by Sippu, Seppo, Soisalon-Soininen, Eljas
Published 1990
Springer Berlin Heidelberg
Table of Contents: .... Syntax Error Handling -- 10. Testing Grammars for Parsability -- Bibliography to Volume II -- Index...

9
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... programming languages -- In transition from global to modular temporal reasoning about programs -- Syntax...

10
by Paun, Gheorghe
Published 1997
Springer Netherlands
... language syntax: generative powers, descriptive and computational complexity, automata recognition...

11
by Heinemann, Bernhard, WEHIRAUCH, KLAUS.
Published 1991
Vieweg+Teubner Verlag
Table of Contents: ... -- 2.1 Aussagenlogische Formeln, die Syntax -- 2.2 Interpretationen und Belegungen -- 2.3 Tautologien und...

12
by Schürr, Andreas
Published 1991
Deutscher Universitätsverlag
Table of Contents: ...-Syntax -- Anhang B: Die Spezifikation “ExpLanguage” -- Anhang C: Die Spezifikation “FamilyCharts...

13
by Eirund, Helmut, Müller, Bernd, Schreiber, Gerlinde
Published 2000
Vieweg+Teubner Verlag
Table of Contents: ... Prädikatenlogik -- 2.3 Relationen -- 3 Formale Sprachen -- 3.1 Syntax und Semantik: Populäre Beispiele -- 3.2...

14
Published 1976
Springer Berlin Heidelberg
Table of Contents: .../Formal Languages and Syntax Analysis -- Syntax-error Recovery in LR-Parsers -- Generating Error Recovery...

15
by Klatte, Rudi, Kulisch, Ulrich, Wiethoff, Andreas, Lawo, Christian
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... for Programming with C — XSC -- A Syntax Diagrams -- A.1 Data Types -- A.2 Management of Vectors and Matrices -- A...

16
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... -- Four Lectures on Primitive Recursion -- Structured Specifications: Syntax, Semantics and Proof Calculus...

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Rules I: Syntax Versus Semantics -- Complexity of Primitive Recursion -- Computers, Reasoning...

18
by Taubner, Dirk A.
Published 1989
Springer Berlin Heidelberg
... the syntax and the operational semantics of CCS and TCSP are explained. We consider both, Milner's well-known...

19
by Bauer, Friedrich L., Goos, Gerhard
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... -- 8. Syntaktische und semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer...

20
by Schill, Alexander
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... Grundlagen und Überblick -- A.2 Beschreibung der Spracherweiterung -- B Konfigurationssprache -- B.1 Syntax...