載入...

QR Code

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, et al.
出版: (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, et al.
出版: (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, et al.
出版: (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)