UNIVERSI
TÄ
TS-
BIBLIOTHEK
P
ADERBORN
Anmelden
Menü
Menü
Start
Hilfe
Blog
Weitere Dienste
Neuerwerbungslisten
Fachsystematik Bücher
Erwerbungsvorschlag
Bestellung aus dem Magazin
Fernleihe
Einstellungen
Sprache
Deutsch
Deutsch
Englisch
Farbschema
Hell
Dunkel
Automatisch
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist
gegebenenfalls
nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Universitätsbibliothek
Katalog
Suche
Details
Zur Ergebnisliste
Ergebnis 1 von 2
Datensatz exportieren als...
BibTeX
Specifying systems : the TLA+ language and tools for hardware and software engineers
Lamport, Leslie
1. print, 2003
Signatur:
TXX1028
Details
Autor(en) / Beteiligte
Lamport, Leslie
Titel
Specifying systems : the TLA+ language and tools for hardware and software engineers
Auflage
1. print
Ort / Verlag
Boston [u.a.] : Addison-Wesley
Erscheinungsjahr
2003
Beschreibungen/Notizen
Includes bibliographical references and index
Sprache
Englisch
Identifikatoren
ISBN: 032114306X
OCLC-Nummer: 845511931, 845511931
Titel-ID: 990008615040106463
Format
XVII, 364 S.
Systemstelle
TXX
Schlagworte
Datenverarbeitungssystem
,
Spezifikation
,
TLA
,
System design
,
Computer systems
,
Logic, Symbolic and mathematical
Lade weitere Informationen...