- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540125822
3540125825
- Dimensions
-
24 cm
- Extent
-
XX, 176 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Auf d. Umschlag: Paul Roth. - Literaturangaben
- Keyword
-
Entwurf
Logische Schaltung
Logische Schaltung
- Event
-
Veröffentlichung
- (where)
-
Potomac, Maryland, Berlin, Heidelberg, New York, Tokyo
- (who)
-
Computer Science Pr., Springer
- (when)
-
1980
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:26 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Roth, John Paul
- Computer Science Pr., Springer
Time of origin
- 1980
Other Objects (12)
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Specification and verification of declarative open interaction models : a logic-based approach
Mathematical logic for computer science
Hardware and software, verification and testing : revised selected papers
Computer science logic : proceedings
Computer logic : design principles and applications
Separating separation logic – modular verification of red-black trees
Formal approaches to software testing and runtime verification : revised selected papers
Computational logic: logic programming and beyond, Pt. 1
Computational logic: logic programming and beyond, Pt. 2
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Specification and verification of declarative open interaction models : a logic-based approach
Mathematical logic for computer science
Hardware and software, verification and testing : revised selected papers
Computer science logic : proceedings
Computer logic : design principles and applications
Separating separation logic – modular verification of red-black trees
Formal approaches to software testing and runtime verification : revised selected papers
Computational logic: logic programming and beyond, Pt. 1
Computational logic: logic programming and beyond, Pt. 2
Hardware and software: verification and testing : proceedings
Hardware and software: verification and testing : proceedings
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Specification and verification of declarative open interaction models : a logic-based approach
Mathematical logic for computer science
Hardware and software, verification and testing : revised selected papers
Computer science logic : proceedings
Computer logic : design principles and applications
Separating separation logic – modular verification of red-black trees
Formal approaches to software testing and runtime verification : revised selected papers
Computational logic: logic programming and beyond, Pt. 1