Lataa...

QR-koodi

Formal specification and software development

Bibliografiset tiedot
Päätekijä:	Bjorner, Diner
Muut tekijät:	Jones, Cliff B.
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	New Jersy Prentice-hall international 1982
Sarja:	Printice-Hall International series in computer science
Aiheet:	Microprogramming > Computer science > Computer system

Samankaltaisia teoksia

EUROMICRO sympopsium on microprocessing and microprogramming
Tekijä: Stephen Winter and HArald Schumny
Julkaistu: (1988)

Microprogrammed control and reliable design of small computers
Tekijä: Geroge D.Kraft
Julkaistu: (1981)

Software interpreters for microcomputers
Tekijä: Mcintire, Thomas C
Julkaistu: (1978)

Foundations of microprogramming architecture, software and applications
Tekijä: Agarwala, Ashok K
Julkaistu: (1976)

Microprogramming primer /
Tekijä: Katzan, Harry
Julkaistu: (1977)

Software debugging for microcomputers
Tekijä: Bruce, Robert C
Julkaistu: (1980)

Formal specification and software development
Tekijä: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
Tekijä: Stauaard, Andrew C
Julkaistu: (1981)

Microprogramming techniques with sample programs
Tekijä: Evans, Stanley
Julkaistu: (1979)

Microprocessor based data acquisition system design
Tekijä: Kant, Krishna
Julkaistu: (1987)

components of computers
Tekijä: Mazda, F F

Microprocessor applications in business and industry
Tekijä: Whitbread, Martin
Julkaistu: (1979)

Microprocessors: with applications in process control
Tekijä: Ahson, S I
Julkaistu: (1987)

Microprogrammable computer architecture
Tekijä: Salibury, Alan B
Julkaistu: (1976)

Large scale integration
Tekijä: Lawson, Harold W
Julkaistu: (1979)

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

young person's guide to BBC BASIC
Tekijä: Milan, Michael
Julkaistu: (1984)

Formal methods of program verification and specification
Tekijä: H K Berg, et al.
Julkaistu: (1982)

Advanced microprocessor architectures
Tekijä: Ciminiera, Luigi
Julkaistu: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
Tekijä: Capece, Raymond P
Julkaistu: (1981)

Larch: languages and tools for formal specification
Tekijä: Guttag, John V, et al.
Julkaistu: (1993)

Software
Tekijä: Alexandria
Julkaistu: (1985)

System software
Tekijä: Nithyashri, J
Julkaistu: (2010)

Introduction to system software
Tekijä: Dhamdhere, D M
Julkaistu: (1986)

Software tools
Tekijä: Kernighan, Briab W
Julkaistu: (1976)

Practical formal software engineering:wanting the software you get
Tekijä: Mills, Bruce
Julkaistu: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
Tekijä: Rafiquzzaman, M
Julkaistu: (2008)

Software Engineering 2 : specification of systems and languages /
Tekijä: Bjørner, Dines
Julkaistu: (2006)

Software engineering
Tekijä: Bjorner, Dines
Julkaistu: (2007)

Generating software from specifications
Tekijä: Kastens, Uwe; Author, et al.
Julkaistu: (2008)

Specification of software systems /
Tekijä: Alagar, Vangalur S.
Julkaistu: (1998)

Design of Experiments A Realistic Approach
Tekijä: Tanenbaum, Andrew.S
Julkaistu: (1979)

System software an introduction to systems programming
Tekijä: Beck, Leland L
Julkaistu: (2014)

Software developers/
Tekijä: Sawyer Ben
Julkaistu: (1998)

Software engineering: Planning for change
Tekijä: Lamb, David Alex
Julkaistu: (1988)

Formal languages and compilation
Tekijä: Reghizzi, Stefano Crespi
Julkaistu: (2012)

Software testing : principles and practice /
Tekijä: Desikan, Srinivasan
Julkaistu: (2014)

Formal models in programming
Tekijä: Neuhold, E J
Julkaistu: (1985)

Object oriented software development Engineering software for reuse /
Tekijä: Mcgregor, John Dand
Julkaistu: (1992)