Caricamento...

Codice QR

Formal specification and software development

Dettagli Bibliografici
Autore principale:	Bjorner, Diner
Altri autori:	Jones, Cliff B.
Natura:	Printed Book
Lingua:	English
Pubblicazione:	New Jersy Prentice-hall international 1982
Serie:	Printice-Hall International series in computer science
Soggetti:	Microprogramming > Computer science > Computer system

Documenti analoghi

EUROMICRO sympopsium on microprocessing and microprogramming
di: Stephen Winter and HArald Schumny
Pubblicazione: (1988)

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

Software interpreters for microcomputers
di: Mcintire, Thomas C
Pubblicazione: (1978)

Foundations of microprogramming architecture, software and applications
di: Agarwala, Ashok K
Pubblicazione: (1976)

Microprogramming primer /
di: Katzan, Harry
Pubblicazione: (1977)

Software debugging for microcomputers
di: Bruce, Robert C
Pubblicazione: (1980)

Formal specification and software development
di: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
di: Stauaard, Andrew C
Pubblicazione: (1981)

Microprogramming techniques with sample programs
di: Evans, Stanley
Pubblicazione: (1979)

Microprocessor based data acquisition system design
di: Kant, Krishna
Pubblicazione: (1987)

components of computers
di: Mazda, F F

Microprocessor applications in business and industry
di: Whitbread, Martin
Pubblicazione: (1979)

Microprocessors: with applications in process control
di: Ahson, S I
Pubblicazione: (1987)

Microprogrammable computer architecture
di: Salibury, Alan B
Pubblicazione: (1976)

Large scale integration
di: Lawson, Harold W
Pubblicazione: (1979)

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

young person's guide to BBC BASIC
di: Milan, Michael
Pubblicazione: (1984)

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

Advanced microprocessor architectures
di: Ciminiera, Luigi
Pubblicazione: (1987)

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

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

Software
di: Alexandria
Pubblicazione: (1985)

System software
di: Nithyashri, J
Pubblicazione: (2010)

Introduction to system software
di: Dhamdhere, D M
Pubblicazione: (1986)

Software tools
di: Kernighan, Briab W
Pubblicazione: (1976)

Practical formal software engineering:wanting the software you get
di: Mills, Bruce
Pubblicazione: (2009)

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

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

Software engineering
di: Bjorner, Dines
Pubblicazione: (2007)

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

Specification of software systems /
di: Alagar, Vangalur S.
Pubblicazione: (1998)

Design of Experiments A Realistic Approach
di: Tanenbaum, Andrew.S
Pubblicazione: (1979)

System software an introduction to systems programming
di: Beck, Leland L
Pubblicazione: (2014)

Software developers/
di: Sawyer Ben
Pubblicazione: (1998)

Software engineering: Planning for change
di: Lamb, David Alex
Pubblicazione: (1988)

Formal languages and compilation
di: Reghizzi, Stefano Crespi
Pubblicazione: (2012)

Software testing : principles and practice /
di: Desikan, Srinivasan
Pubblicazione: (2014)

Formal models in programming
di: Neuhold, E J
Pubblicazione: (1985)

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