1
Published 2008
Springer Berlin Heidelberg
Table of Contents: '; ...An Approach for Defining Textual Concrete Syntaxes -- Graphical Concrete Syntax Rendering with SVG --...

2
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994
Springer Berlin Heidelberg
Table of Contents: '; ... -- 6.1 Syntax -- 6.2 Semantik -- 6.3 Verifikation -- 6.4 Fallstudie: Erzeuger/Verbraucher-Problem -- 6...

3
Published 1994
Springer Berlin Heidelberg
Table of Contents: '; ... -- Higher-Order Abstract Syntax with induction in Coq -- Towards efficient calculi for resource-oriented...

4
Published 2019
Springer International Publishing
Table of Contents: '; ... Automata and Complexity Theory -- Part III: Spatial Networks and Space Syntax -- Mathematics of Urban...

5
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
.... Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness...

6
by Fokkink, Wan
Published 2007
Springer Berlin Heidelberg
... of abstract data types and process algebra, and guide the reader through the syntax and semantics of µ...

7
by Gao, Wen, Ma, Siwei
Published 2014
Springer International Publishing
... Reviews the coding framework, main coding tools, and syntax structure of AVS2 Describes the key...

8
Published 1993
Springer Berlin Heidelberg
Table of Contents: '; ... Bilddatenformate -- 6.1 Syntax, Semantik und Kodierung -- 6.2 Angewandte Beschreibungstechniken -- 6.3 ASN.1 -- 6...

9
Published 1998
Springer Berlin Heidelberg
Table of Contents: '; ... Modelling: Syntax, Semantics, and Tools --...

10
by Martaj, Nadia, Mokhtari, Mohand
Published 2014
Springer Berlin Heidelberg
... textuel MathScript, des scripts Matlab, la boîte de calcul utilisant la syntaxe du langage C ainsi que les...