Loading...

QR Code

Formal specification and software development

Bibliographic Details
Main Author:	Bjorner, Diner
Other Authors:	Jones, Cliff B.
Format:	Printed Book
Language:	English
Published:	New Jersy Prentice-hall international 1982
Series:	Printice-Hall International series in computer science
Subjects:	Microprogramming > Computer science > Computer system

Similar Items

EUROMICRO sympopsium on microprocessing and microprogramming
by: Stephen Winter and HArald Schumny
Published: (1988)

Microprogrammed control and reliable design of small computers
by: Geroge D.Kraft
Published: (1981)

Software interpreters for microcomputers
by: Mcintire, Thomas C
Published: (1978)

Foundations of microprogramming architecture, software and applications
by: Agarwala, Ashok K
Published: (1976)

Microprogramming primer /
by: Katzan, Harry
Published: (1977)

Software debugging for microcomputers
by: Bruce, Robert C
Published: (1980)

Formal specification and software development
by: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
by: Stauaard, Andrew C
Published: (1981)

Microprogramming techniques with sample programs
by: Evans, Stanley
Published: (1979)

Microprocessor based data acquisition system design
by: Kant, Krishna
Published: (1987)

components of computers
by: Mazda, F F

Microprocessor applications in business and industry
by: Whitbread, Martin
Published: (1979)

Microprocessors: with applications in process control
by: Ahson, S I
Published: (1987)

Microprogrammable computer architecture
by: Salibury, Alan B
Published: (1976)

Large scale integration
by: Lawson, Harold W
Published: (1979)

Microprocessor architecture, programming and applications with the 8085/8080A
by: Gaonkar, Ramesh S.
Published: (1987)

young person's guide to BBC BASIC
by: Milan, Michael
Published: (1984)

Formal methods of program verification and specification
by: H K Berg, et al.
Published: (1982)

Advanced microprocessor architectures
by: Ciminiera, Luigi
Published: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
by: Capece, Raymond P
Published: (1981)

Larch: languages and tools for formal specification
by: Guttag, John V, et al.
Published: (1993)

Software
by: Alexandria
Published: (1985)

System software
by: Nithyashri, J
Published: (2010)

Introduction to system software
by: Dhamdhere, D M
Published: (1986)

Software tools
by: Kernighan, Briab W
Published: (1976)

Practical formal software engineering:wanting the software you get
by: Mills, Bruce
Published: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
by: Rafiquzzaman, M
Published: (2008)

Software Engineering 2 : specification of systems and languages /
by: Bjørner, Dines
Published: (2006)

Software engineering
by: Bjorner, Dines
Published: (2007)

Generating software from specifications
by: Kastens, Uwe; Author, et al.
Published: (2008)

Specification of software systems /
by: Alagar, Vangalur S.
Published: (1998)

Design of Experiments A Realistic Approach
by: Tanenbaum, Andrew.S
Published: (1979)

System software an introduction to systems programming
by: Beck, Leland L
Published: (2014)

Software developers/
by: Sawyer Ben
Published: (1998)

Software engineering: Planning for change
by: Lamb, David Alex
Published: (1988)

Formal languages and compilation
by: Reghizzi, Stefano Crespi
Published: (2012)

Software testing : principles and practice /
by: Desikan, Srinivasan
Published: (2014)

Formal models in programming
by: Neuhold, E J
Published: (1985)

Object oriented software development Engineering software for reuse /
by: Mcgregor, John Dand
Published: (1992)