ロード中...

QRコード

Formal specification and software development

書誌詳細
第一著者:	Bjorner, Diner
その他の著者:	Jones, Cliff B.
フォーマット:	Printed Book
言語:	English
出版事項:	New Jersy Prentice-hall international 1982
シリーズ:	Printice-Hall International series in computer science
主題:	Microprogramming > Computer science > Computer system

類似資料

ロード中...

EUROMICRO sympopsium on microprocessing and microprogramming
著者:: Stephen Winter and HArald Schumny
出版事項: (1988)

ロード中...

Microprogrammed control and reliable design of small computers
著者:: Geroge D.Kraft
出版事項: (1981)

ロード中...

Software interpreters for microcomputers
著者:: Mcintire, Thomas C
出版事項: (1978)

ロード中...

Foundations of microprogramming architecture, software and applications
著者:: Agarwala, Ashok K
出版事項: (1976)

ロード中...

Microprogramming primer /
著者:: Katzan, Harry
出版事項: (1977)

ロード中...

Software debugging for microcomputers
著者:: Bruce, Robert C
出版事項: (1980)

ロード中...

Formal specification and software development
著者:: Bjorner,Dines

ロード中...

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
出版事項: (1980)

ロード中...

6801, 68701 and 6803 microcomputer programming and interfacing
著者:: Stauaard, Andrew C
出版事項: (1981)

ロード中...

Microprogramming techniques with sample programs
著者:: Evans, Stanley
出版事項: (1979)

ロード中...

Microprocessor based data acquisition system design
著者:: Kant, Krishna
出版事項: (1987)

ロード中...

components of computers
著者:: Mazda, F F

ロード中...

Microprocessor applications in business and industry
著者:: Whitbread, Martin
出版事項: (1979)

ロード中...

Microprocessors: with applications in process control
著者:: Ahson, S I
出版事項: (1987)

ロード中...

Microprogrammable computer architecture
著者:: Salibury, Alan B
出版事項: (1976)

ロード中...

Large scale integration
著者:: Lawson, Harold W
出版事項: (1979)

ロード中...

Microprocessor architecture, programming and applications with the 8085/8080A
著者:: Gaonkar, Ramesh S.
出版事項: (1987)

ロード中...

young person's guide to BBC BASIC
著者:: Milan, Michael
出版事項: (1984)

ロード中...

Formal methods of program verification and specification
著者:: H K Berg, 等
出版事項: (1982)

ロード中...

Advanced microprocessor architectures
著者:: Ciminiera, Luigi
出版事項: (1987)

ロード中...

Microprocessors and microcomputers: one chip controllers to high end systems
著者:: Capece, Raymond P
出版事項: (1981)

ロード中...

Larch: languages and tools for formal specification
著者:: Guttag, John V, 等
出版事項: (1993)

ロード中...

Software
著者:: Alexandria
出版事項: (1985)

ロード中...

System software
著者:: Nithyashri, J
出版事項: (2010)

ロード中...

Introduction to system software
著者:: Dhamdhere, D M
出版事項: (1986)

ロード中...

Software tools
著者:: Kernighan, Briab W
出版事項: (1976)

ロード中...

Practical formal software engineering:wanting the software you get
著者:: Mills, Bruce
出版事項: (2009)

ロード中...

Microprocessor theory and applications with 68000/68020 and pentium
著者:: Rafiquzzaman, M
出版事項: (2008)

ロード中...

Software Engineering 2 : specification of systems and languages /
著者:: Bjørner, Dines
出版事項: (2006)

ロード中...

Software engineering
著者:: Bjorner, Dines
出版事項: (2007)

ロード中...

Generating software from specifications
著者:: Kastens, Uwe; Author, 等
出版事項: (2008)

ロード中...

Specification of software systems /
著者:: Alagar, Vangalur S.
出版事項: (1998)

ロード中...

Design of Experiments A Realistic Approach
著者:: Tanenbaum, Andrew.S
出版事項: (1979)

ロード中...

System software an introduction to systems programming
著者:: Beck, Leland L
出版事項: (2014)

ロード中...

Software developers/
著者:: Sawyer Ben
出版事項: (1998)

ロード中...

Software engineering: Planning for change
著者:: Lamb, David Alex
出版事項: (1988)

ロード中...

Formal languages and compilation
著者:: Reghizzi, Stefano Crespi
出版事項: (2012)

ロード中...

Software testing : principles and practice /
著者:: Desikan, Srinivasan
出版事項: (2014)

ロード中...

Formal models in programming
著者:: Neuhold, E J
出版事項: (1985)

ロード中...

Object oriented software development Engineering software for reuse /
著者:: Mcgregor, John Dand
出版事項: (1992)