With visiting this site I accept that it uses cookies for website analytics. Learn more
You are not on campus or connected to the VPN per FullTunnel. Therefore you can possibly not access all licenced content. Information to the VPN client for TU members.
UNIVERSITÄTSBIBLIOTHEK
Skip to content
Katalog+
  • Email contact
  • Katalog+ feedback
  • 0 items
  • Your Account
  • Log Out
  • Login (Library Account)
  • Language
    • English
    • German
Advanced
Library Catalogue Repository (KLUEDO) Article index (external provider)
Scroll to facets
  • Search: eit 860
Suggested Topics... within your search.
Hardwareentwurf 1 Hardwareverifikation 1 Mehrprozessorsystem 1
Pufferspeicher Temporale Logik Transitionssystem 1

Showing 1 - 1 of 1 for search: 'eit 860'
Cover Image
Symbolic model checking
by McMillan, Kenneth L.
Published 1993
“...EIT 860/096...”
Printed Book Loading...

Our Library Management System is currently under maintenance.

Item availability information is currently unavailable. There is a maintenance from 00.00 to 01.45 a.m. every day.

Cover Images: powered by Google
Search Tools: Email this Search — Save Search

Narrow Search

Scroll to search field
Remove Filters
Online: No Reserve Collection: Electrical Engineering and Information Technology Suggested Topics: Temporale Logik Suggested Topics: Pufferspeicher Author: McMillan, Kenneth L.
Online
No
Media Type
1 Printed Book
Local print media
1 Electrical Engineering, Information Technology 1 Computer Science
Reserve Collection
Electrical Engineering and Information Technology
Tutor / Lection / Course
1 Energietechnik
Year of Publication
Author
McMillan, Kenneth L.
Language
1 English
Collection
1 OPAC 1 Reserve Collection

Search Options

  • Search History
  • Advanced Search

Find More

  • Reserve Collection
  • Educational Book Collection
  • New Acquisitions
  • Kinderuni
  • Systematiken
  • Electronic Textbooks (BIO, CHE, MAT, PHY)

Need Help?

  • Hints to Katalog+

Other

  • Purchase Recommendation
  • Privacy Policy
  • Imprint

Index Version: biblio_2019-12-08_11-49, kluedo_2019-12-08_11-54

Loading...