Carregant...

Codi QR

Formal specification and software development

Dades bibliogràfiques
Autor principal:	Bjorner, Diner
Altres autors:	Jones, Cliff B.
Format:	Printed Book
Idioma:	English
Publicat:	New Jersy Prentice-hall international 1982
Col·lecció:	Printice-Hall International series in computer science
Matèries:	Microprogramming > Computer science > Computer system

Ítems similars

EUROMICRO sympopsium on microprocessing and microprogramming
per: Stephen Winter and HArald Schumny
Publicat: (1988)

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

Software interpreters for microcomputers
per: Mcintire, Thomas C
Publicat: (1978)

Foundations of microprogramming architecture, software and applications
per: Agarwala, Ashok K
Publicat: (1976)

Microprogramming primer /
per: Katzan, Harry
Publicat: (1977)

Software debugging for microcomputers
per: Bruce, Robert C
Publicat: (1980)

Formal specification and software development
per: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
per: Stauaard, Andrew C
Publicat: (1981)

Microprogramming techniques with sample programs
per: Evans, Stanley
Publicat: (1979)

Microprocessor based data acquisition system design
per: Kant, Krishna
Publicat: (1987)

components of computers
per: Mazda, F F

Microprocessor applications in business and industry
per: Whitbread, Martin
Publicat: (1979)

Microprocessors: with applications in process control
per: Ahson, S I
Publicat: (1987)

Microprogrammable computer architecture
per: Salibury, Alan B
Publicat: (1976)

Large scale integration
per: Lawson, Harold W
Publicat: (1979)

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

young person's guide to BBC BASIC
per: Milan, Michael
Publicat: (1984)

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

Advanced microprocessor architectures
per: Ciminiera, Luigi
Publicat: (1987)

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

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

Software
per: Alexandria
Publicat: (1985)

System software
per: Nithyashri, J
Publicat: (2010)

Introduction to system software
per: Dhamdhere, D M
Publicat: (1986)

Software tools
per: Kernighan, Briab W
Publicat: (1976)

Practical formal software engineering:wanting the software you get
per: Mills, Bruce
Publicat: (2009)

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

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

Software engineering
per: Bjorner, Dines
Publicat: (2007)

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

Specification of software systems /
per: Alagar, Vangalur S.
Publicat: (1998)

Design of Experiments A Realistic Approach
per: Tanenbaum, Andrew.S
Publicat: (1979)

System software an introduction to systems programming
per: Beck, Leland L
Publicat: (2014)

Software developers/
per: Sawyer Ben
Publicat: (1998)

Software engineering: Planning for change
per: Lamb, David Alex
Publicat: (1988)

Formal languages and compilation
per: Reghizzi, Stefano Crespi
Publicat: (2012)

Software testing : principles and practice /
per: Desikan, Srinivasan
Publicat: (2014)

Formal models in programming
per: Neuhold, E J
Publicat: (1985)

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