Carregando...

Código QR (código de barras bidimensional)

Formal specification and software development

Detalhes bibliográficos
Autor principal:	Bjorner, Diner
Outros Autores:	Jones, Cliff B.
Formato:	Printed Book
Idioma:	English
Publicado em:	New Jersy Prentice-hall international 1982
coleção:	Printice-Hall International series in computer science
Assuntos:	Microprogramming > Computer science > Computer system

Registros relacionados

EUROMICRO sympopsium on microprocessing and microprogramming
por: Stephen Winter and HArald Schumny
Publicado em: (1988)

Microprogrammed control and reliable design of small computers
por: Geroge D.Kraft
Publicado em: (1981)

Software interpreters for microcomputers
por: Mcintire, Thomas C
Publicado em: (1978)

Foundations of microprogramming architecture, software and applications
por: Agarwala, Ashok K
Publicado em: (1976)

Microprogramming primer /
por: Katzan, Harry
Publicado em: (1977)

Software debugging for microcomputers
por: Bruce, Robert C
Publicado em: (1980)

Formal specification and software development
por: Bjorner,Dines

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

6801, 68701 and 6803 microcomputer programming and interfacing
por: Stauaard, Andrew C
Publicado em: (1981)

Microprogramming techniques with sample programs
por: Evans, Stanley
Publicado em: (1979)

Microprocessor based data acquisition system design
por: Kant, Krishna
Publicado em: (1987)

components of computers
por: Mazda, F F

Microprocessor applications in business and industry
por: Whitbread, Martin
Publicado em: (1979)

Microprocessors: with applications in process control
por: Ahson, S I
Publicado em: (1987)

Microprogrammable computer architecture
por: Salibury, Alan B
Publicado em: (1976)

Large scale integration
por: Lawson, Harold W
Publicado em: (1979)

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

young person's guide to BBC BASIC
por: Milan, Michael
Publicado em: (1984)

Formal methods of program verification and specification
por: H K Berg, et al.
Publicado em: (1982)

Advanced microprocessor architectures
por: Ciminiera, Luigi
Publicado em: (1987)

Microprocessors and microcomputers: one chip controllers to high end systems
por: Capece, Raymond P
Publicado em: (1981)

Larch: languages and tools for formal specification
por: Guttag, John V, et al.
Publicado em: (1993)

Software
por: Alexandria
Publicado em: (1985)

System software
por: Nithyashri, J
Publicado em: (2010)

Introduction to system software
por: Dhamdhere, D M
Publicado em: (1986)

Software tools
por: Kernighan, Briab W
Publicado em: (1976)

Practical formal software engineering:wanting the software you get
por: Mills, Bruce
Publicado em: (2009)

Microprocessor theory and applications with 68000/68020 and pentium
por: Rafiquzzaman, M
Publicado em: (2008)

Software Engineering 2 : specification of systems and languages /
por: Bjørner, Dines
Publicado em: (2006)

Software engineering
por: Bjorner, Dines
Publicado em: (2007)

Generating software from specifications
por: Kastens, Uwe; Author, et al.
Publicado em: (2008)

Specification of software systems /
por: Alagar, Vangalur S.
Publicado em: (1998)

Design of Experiments A Realistic Approach
por: Tanenbaum, Andrew.S
Publicado em: (1979)

System software an introduction to systems programming
por: Beck, Leland L
Publicado em: (2014)

Software developers/
por: Sawyer Ben
Publicado em: (1998)

Software engineering: Planning for change
por: Lamb, David Alex
Publicado em: (1988)

Formal languages and compilation
por: Reghizzi, Stefano Crespi
Publicado em: (2012)

Software testing : principles and practice /
por: Desikan, Srinivasan
Publicado em: (2014)

Formal models in programming
por: Neuhold, E J
Publicado em: (1985)

Object oriented software development Engineering software for reuse /
por: Mcgregor, John Dand
Publicado em: (1992)