yr 〜
yr

Search results 12

Formal methods : an appetizer

Formal methods : an appetizer
Paper図書
Flemming Nielson, Hanne Riis NielsonSpringerc2019
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis

Semantics with applications : an appetizer

Semantics with applications : an appetizer
Paper図書
Hanne Riis Nielson and Flemming NielsonSpringerc2007
Other Libraries in Japan
  • Author HeadingNielson, Hanne Riis Nielson, Flemming

Trustworthy global computing : 4th international symposium, TGC 2008 : Barcelona, Spain, November 3-4, 2008 : revised selected papers. : Nov 2008, Barcelona, Spain. (Lecture Notes in Computer Science ; 5474)

Trustworthy global computing : 4th international symposium, TGC 2008 : Barcelona, Spain, November 3-4, 2008 : revised selected papers. : Nov 2008, Barcelona, Spain. (Lecture Notes in Computer Science ; 5474)
Paper図書
Springerc2009.<M17-10-427>
National Diet Library
  • Author HeadingKaklamanis, Christos. Nielson, Flemming, 1955- TGC 2008 (2008 : Barce...

Two-level functional languages : pbk

Two-level functional languages : pbk
Paper図書
Flemming Nielson & Hanne Riis NielsonCambridge University Press2005
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis

Principles of program analysis Corrected 2nd printing

Principles of program analysis Corrected 2nd printing
Paper図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer2005
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, C...

Principles of program analysis

Principles of program analysis
Paper図書
Flemming Nielson , Hanne Riis Nielson , Chris HankinSpringer-Verlagc1999
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, C...

Principles of program analysis : softcover

Principles of program analysis : softcover
Paper図書
Flemming Nielson, Hanne Riis Nielson, Chris HankinSpringerc1999
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis Hankin, C...

ML with concurrency : design, analysis, implementation, and application

ML with concurrency : design, analysis, implementation, and application
Paper図書
Flemming Nielson, editorSpringerc1997
Other Libraries in Japan
  • Author HeadingNielson, Flemming

Type and effect systems : behaviours for concurrency

Type and effect systems : behaviours for concurrency
Paper図書
Torben Amtoft, Flemming Nielson, Hanne Riis NielsonImperial College Pressc1999
Other Libraries in Japan
  • Author HeadingAmtoft, Torben Nielson, Hanne Riis Nielson, Flemming

Two-level functional languages

Two-level functional languages
Paper図書
Flemming Nielson and Hanne Riis NielsonCambridge University Press1992
Other Libraries in Japan
  • Author HeadingNielson, Flemming Nielson, Hanne Riis

Semantics with applications : a formal introduction

Semantics with applications : a formal introduction
Paper図書
Hanne Riis Nielson and Flemming NielsonJ. Wileyc1992
Other Libraries in Japan
  • Author HeadingNielson, Hanne Riis Nielson, Flemming

Abstract interpretation using domain theory

Abstract interpretation using domain theory
Paper図書
by Flemming NielsonUniversity of Edinburgh, Department of Computer Science1984
Other Libraries in Japan
  • Author HeadingNielson, Flemming

Reached to the end of result.