Laddar...

QR-kod

Formal specification and software development

Bibliografiska uppgifter
Huvudupphovsman:	Bjorner, Diner
Övriga upphovsmän:	Jones, Cliff B.
Materialtyp:	Printed Book
Språk:	English
Publicerad:	New Jersy Prentice-hall international 1982
Serie:	Printice-Hall International series in computer science
Ämnen:	Microprogramming > Computer science > Computer system

Liknande verk

EUROMICRO sympopsium on microprocessing and microprogramming
av: Stephen Winter and HArald Schumny
Publicerad: (1988)

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

Software interpreters for microcomputers
av: Mcintire, Thomas C
Publicerad: (1978)

Foundations of microprogramming architecture, software and applications
av: Agarwala, Ashok K
Publicerad: (1976)

Microprogramming primer /
av: Katzan, Harry
Publicerad: (1977)

Software debugging for microcomputers
av: Bruce, Robert C
Publicerad: (1980)

Formal specification and software development
av: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
av: Stauaard, Andrew C
Publicerad: (1981)

Microprogramming techniques with sample programs
av: Evans, Stanley
Publicerad: (1979)

Microprocessor based data acquisition system design
av: Kant, Krishna
Publicerad: (1987)

components of computers
av: Mazda, F F

Microprocessor applications in business and industry
av: Whitbread, Martin
Publicerad: (1979)

Microprocessors: with applications in process control
av: Ahson, S I
Publicerad: (1987)

Microprogrammable computer architecture
av: Salibury, Alan B
Publicerad: (1976)

Large scale integration
av: Lawson, Harold W
Publicerad: (1979)

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

young person's guide to BBC BASIC
av: Milan, Michael
Publicerad: (1984)

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

Advanced microprocessor architectures
av: Ciminiera, Luigi
Publicerad: (1987)

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

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

Software
av: Alexandria
Publicerad: (1985)

System software
av: Nithyashri, J
Publicerad: (2010)

Introduction to system software
av: Dhamdhere, D M
Publicerad: (1986)

Software tools
av: Kernighan, Briab W
Publicerad: (1976)

Practical formal software engineering:wanting the software you get
av: Mills, Bruce
Publicerad: (2009)

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

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

Software engineering
av: Bjorner, Dines
Publicerad: (2007)

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

Specification of software systems /
av: Alagar, Vangalur S.
Publicerad: (1998)

Design of Experiments A Realistic Approach
av: Tanenbaum, Andrew.S
Publicerad: (1979)

System software an introduction to systems programming
av: Beck, Leland L
Publicerad: (2014)

Software developers/
av: Sawyer Ben
Publicerad: (1998)

Software engineering: Planning for change
av: Lamb, David Alex
Publicerad: (1988)

Formal languages and compilation
av: Reghizzi, Stefano Crespi
Publicerad: (2012)

Software testing : principles and practice /
av: Desikan, Srinivasan
Publicerad: (2014)

Formal models in programming
av: Neuhold, E J
Publicerad: (1985)

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