Загрузка...

QR Code (код быстрого отклика)

Formal specification and software development

Библиографические подробности
Главный автор:	Bjorner, Diner
Другие авторы:	Jones, Cliff B.
Формат:	Printed Book
Язык:	English
Опубликовано:	New Jersy Prentice-hall international 1982
Серии:	Printice-Hall International series in computer science
Предметы:	Microprogramming > Computer science > Computer system

Схожие документы

Загрузка...

EUROMICRO sympopsium on microprocessing and microprogramming
по: Stephen Winter and HArald Schumny
Опубликовано: (1988)

Загрузка...

Microprogrammed control and reliable design of small computers
по: Geroge D.Kraft
Опубликовано: (1981)

Загрузка...

Software interpreters for microcomputers
по: Mcintire, Thomas C
Опубликовано: (1978)

Загрузка...

Foundations of microprogramming architecture, software and applications
по: Agarwala, Ashok K
Опубликовано: (1976)

Загрузка...

Microprogramming primer /
по: Katzan, Harry
Опубликовано: (1977)

Загрузка...

Software debugging for microcomputers
по: Bruce, Robert C
Опубликовано: (1980)

Загрузка...

Formal specification and software development
по: Bjorner,Dines

Загрузка...

Microprocessor systems: software, firmware and hardware 6th Euromicro symposium on microprocessing and microprogramming September 16-18, 1980: London.:
Опубликовано: (1980)

Загрузка...

6801, 68701 and 6803 microcomputer programming and interfacing
по: Stauaard, Andrew C
Опубликовано: (1981)

Загрузка...

Microprogramming techniques with sample programs
по: Evans, Stanley
Опубликовано: (1979)

Загрузка...

Microprocessor based data acquisition system design
по: Kant, Krishna
Опубликовано: (1987)

Загрузка...

components of computers
по: Mazda, F F

Загрузка...

Microprocessor applications in business and industry
по: Whitbread, Martin
Опубликовано: (1979)

Загрузка...

Microprocessors: with applications in process control
по: Ahson, S I
Опубликовано: (1987)

Загрузка...

Microprogrammable computer architecture
по: Salibury, Alan B
Опубликовано: (1976)

Загрузка...

Large scale integration
по: Lawson, Harold W
Опубликовано: (1979)

Загрузка...

Microprocessor architecture, programming and applications with the 8085/8080A
по: Gaonkar, Ramesh S.
Опубликовано: (1987)

Загрузка...

young person's guide to BBC BASIC
по: Milan, Michael
Опубликовано: (1984)

Загрузка...

Formal methods of program verification and specification
по: H K Berg, et al.
Опубликовано: (1982)

Загрузка...

Advanced microprocessor architectures
по: Ciminiera, Luigi
Опубликовано: (1987)

Загрузка...

Microprocessors and microcomputers: one chip controllers to high end systems
по: Capece, Raymond P
Опубликовано: (1981)

Загрузка...

Larch: languages and tools for formal specification
по: Guttag, John V, et al.
Опубликовано: (1993)

Загрузка...

Software
по: Alexandria
Опубликовано: (1985)

Загрузка...

System software
по: Nithyashri, J
Опубликовано: (2010)

Загрузка...

Introduction to system software
по: Dhamdhere, D M
Опубликовано: (1986)

Загрузка...

Software tools
по: Kernighan, Briab W
Опубликовано: (1976)

Загрузка...

Practical formal software engineering:wanting the software you get
по: Mills, Bruce
Опубликовано: (2009)

Загрузка...

Microprocessor theory and applications with 68000/68020 and pentium
по: Rafiquzzaman, M
Опубликовано: (2008)

Загрузка...

Software Engineering 2 : specification of systems and languages /
по: Bjørner, Dines
Опубликовано: (2006)

Загрузка...

Software engineering
по: Bjorner, Dines
Опубликовано: (2007)

Загрузка...

Generating software from specifications
по: Kastens, Uwe; Author, et al.
Опубликовано: (2008)

Загрузка...

Specification of software systems /
по: Alagar, Vangalur S.
Опубликовано: (1998)

Загрузка...

Design of Experiments A Realistic Approach
по: Tanenbaum, Andrew.S
Опубликовано: (1979)

Загрузка...

System software an introduction to systems programming
по: Beck, Leland L
Опубликовано: (2014)

Загрузка...

Software developers/
по: Sawyer Ben
Опубликовано: (1998)

Загрузка...

Software engineering: Planning for change
по: Lamb, David Alex
Опубликовано: (1988)

Загрузка...

Formal languages and compilation
по: Reghizzi, Stefano Crespi
Опубликовано: (2012)

Загрузка...

Software testing : principles and practice /
по: Desikan, Srinivasan
Опубликовано: (2014)

Загрузка...

Formal models in programming
по: Neuhold, E J
Опубликовано: (1985)

Загрузка...

Object oriented software development Engineering software for reuse /
по: Mcgregor, John Dand
Опубликовано: (1992)