تحميل...

QR رمز

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, وآخرون
منشور في: (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, وآخرون
منشور في: (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, وآخرون
منشور في: (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)