„program specification“

Suchergebnisse

422 Treffer

• Construction of CFC-Programs by LTL-Specification
  Ryabukhin, D. A. ; Kuzmin, E. V. ; Sokolov, V. A.
• Arbeitsprogramm / ARL, Akademie für Raumforschung und Landesplanung – Konkretisierung des Orientierungsrahmens ... für die Jahre ... = Programme of work / Akademie für Raumforschung und Landesplanung : specification to supplement the research framework for ...
  2001 ARL
• Semantics and Algebraic Specification – Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  Palsberg, Jens ; Mosses, Peter D. 2009 Springer Berlin Heidelberg
• Semantics and algebraic specification – essays dedicated to Peter D. Mosses on the occasion of his 60th birthday
  Palsberg, Jens ; Mosses, Peter D. 2009 Springer
• Workshop Concurrency, Specification and Programming – Caputh, September 24 - 26
  Lindemann, Gabriela Professoren des Inst. für Informatik
• Workshop Concurrency, Specification and Programming – October 7 - 9, 2000
  Burkhard, Hans-Dieter Professoren des Inst. für Informatik
• Workshop Concurrency, Specification & Programming – Oktober 9 - 11, 2000
  Burkhard, Hans-Dieter Professoren des Inst. für Informatik
• Jingles and programme cues – [a wide-ranging and innovative coll. of cues ed. to jingle specifications]
  Francis, Day & Hunter
• Integration of software specification techniques for applications in engineering – priority program softspez of the German Research Foundation (DFG) ; final report
  Ehrig, Hartmut 2004 Springer
• Needs and specifications for an international microbial strain data network – proceedings of a workshop held in Brussels, Belgium, 15 - 17 November 1983 and executive summary of the working group meeting, Bangkok, Thailand, 23 - 25 November 1984
  Hill, Leslie Rowland 1985 UNEP
• Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Structured Object-Oriented Formal Language and Method – Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
  2014 Springer International Publishing
• Modular specification and verification of object oriented programs
  Müller, Peter 2002 Springer
• Computable Models
  Turner, Raymond 2009 Springer London
• A term-rewriting perspective of object oriented program specifications
  Loría-Sáenz, Carlos 2001 Fachbereich Informatik, Univ.
• Workshop Concurrency, Specification & Programming
  2000 Professoren des Inst. für Informatik
• Workshop Concurrency, Specification & Programming
  2000 Professoren des Inst. für Informatik
• Three-valued specification language and its application to the automatic verification of C programs
  Prokhorov, Alexej
• Workshop Concurrency, Specification & Programming – September 28 - 30, 1998
  Burkhard, Hans-Dieter 1998 Professoren des Inst. für Informatik