Jump to main content

yr 〜
yr

Search results 9

AMAST series in computing

AMAST series in computing
Paper図書
managing editor: T. Rus ; advisory board; A. Arnold ... [et al.]World Scientific1993
Other Libraries in Japan

Real-time systems : modeling, design, and applications

Real-time systems : modeling, design, and applications
Paper図書
editors, Dan Inoescu, Aurel CornellWorld Scientificc2007
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Formal models of computation : the ultimate limits of computing

Formal models of computation : the ultimate limits of computing
Paper図書
Arthur FleckWorld Scientificc2001
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
Paper図書
Răzvan Diaconescu, Kokichi FutatsugiWorld Scientificc1998
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

An algebraic approach to compiler design

An algebraic approach to compiler design
Paper図書
Augusto SampaioWorld Scientificc1997
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Language prototyping : an algebraic specification approach

Language prototyping : an algebraic specification approach
Paper図書
editors, Arie van Deursen, Jan Heering, Paul KlintWorld Scientificc1996
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Construction and analysis of transition systems with MEC

Construction and analysis of transition systems with MEC
Paper図書
André Arnold, Didier Bégay, Paul CrubilléWorld Scientificc1994
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Theories and experiences for real-time system development

Theories and experiences for real-time system development
Paper図書
editors, Teodor Rus, Charles RattrayWorld Scientificc1994
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Algebraic specification techniques and tools for software development : the ACT approach

Algebraic specification techniques and tools for software development : the ACT approach
Paper図書
Ingo Claßen, Hartmut Ehrig, Dietmar WolzWorld Scientificc1993
Other Libraries in Japan
  • Related MaterialAMAST series in computing
  • Periodical TitleAMAST series in computing

Reached to the end of result.

RSS