Showing
1 – 1
results of
1
Skip to content
OPAC
Universitätsbibliothek
Technische Universität München
Temporarily saved:
0
temporarily saved
(Full)
Help
Contact
Search Tips
Interlibary loan info
Chat
Tools
Search History
Open Interlibary Loan
Recommend a Purchase
Deutsch
Account
Back
Account
Borrowed Items
Requested Items
Fees
Profile
Search History
Log Out
Login
Books & Journals
Papers
All Fields
Person
Subject
Title
Search
Advanced
Author
Johnson, Robert Thomas
Search Results - Johnson, Robert Thomas
Showing
1 – 1
results of
1
Filter by
Results per page
20
50
100
Sort
Relevance
Newest first
Oldest first
Title A-Z
Email
Export
Print
Save
Save temporarily
Select all entries on the page
Select result number 1
1
Proving assertions about the state structure of formally-defined, interacting, digital systems
by
Johnson, Robert Thomas
Published 1973
Call Number:
Loading…
Located:
Loading…
Order via interlibrary loan
Thesis/Dissertation
Book
Loading…
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to BibTeX
Export to RIS
Saved in:
Email
Export
Print
Save
Save temporarily
Select all entries on the page
Search Tools:
RSS Feed
Email Search
Save Search
Back
Filter by
Page will reload when a filter is selected or excluded.
Library Holdings TUM
Library Holdings TUM, LMU, HM, BSB, HSWT
Online Resources
Physical Resources
Format
Book
1 results
1
Exclude matching results
Thesis/Dissertation
1 results
1
Exclude matching results
Subject
Computer programming
1 results
1
Exclude matching results
Datenverarbeitung
1 results
1
Exclude matching results
Electronic data processing System analysis
1 results
1
Exclude matching results
Formal languages
1 results
1
Exclude matching results
Hochschulschrift
1 results
1
Exclude matching results
Year of Publication
From:
To:
Language
English
1 results
1
Exclude matching results
Person
Johnson, Robert Thomas
1 results
1
Exclude matching results
