Cover Image
Read Now

1
by Gogolla, Martin
Published 1994
Springer Berlin Heidelberg
Cover Image
Read Now

2
Published 1977
Springer Berlin Heidelberg
Table of Contents: “... level language -- On the macro extension of programming languages -- Pragmatics in a compiler production...”
Cover Image
Read Now

3
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Communication Strategy for Ad-hoc Mobile Networks -- A Pragmatic Implementation of Non-blocking Linked-lists...”
Cover Image
Read Now

4
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...Reconstructability analysis and its RE — interpretation in terms of pragmatic information...”
Cover Image
Read Now

5
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... in the production and comprehension of route directions -- Spatial representation for pragmatic navigation...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... systems, from ASICs to HW/SW codesign — a pragmatic approach -- The industrial success of verification...”
Cover Image
Read Now

7
Published 1993
Springer London
Table of Contents: “... The Dominant Rationale for Formal Methods -- 2.2 Some Pragmatic Objections to Formal Methods -- 2.3 Dissolving...”
Cover Image
Read Now

8
Published 2004
Springer Berlin Heidelberg
“... students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome...”