Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti et al.

Modeling Time in Computing

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Title

Modeling Time in Computing

Involved 

Carlo A. Furia (Mitwirkender)
Dino Mandrioli (Mitwirkender)
Angelo Morzenti (Mitwirkender)
Matteo Rossi (Mitwirkender)

Published

Berlin, Heidelberg: Springer Berlin Heidelberg
2012

Extent

Online-Ressource

ISBN

978-3-642-32332-4

Country

Deutschland

Topic

Informatik

Subject

Zeit, Modellierung, Formalismus (Mathematik), Dynamisches System, Hardwareentwurf, Berechnungskomplexität
Transitionssystem, Endlicher Automat, Zeitbehafteter Automat, Zeitbewertetes Petri-Netz, Temporale Logik, Prozessalgebra

DDC notation

004.0151135
003.8
004.33

Series

Monographs in Theoretical Computer Science. An EATCS Series

Other editions

Erscheint auch als Druck-Ausgabe: Modeling time in computing

Persistent identifier

urn:nbn:de:1111-20121019372 (URN)
10.1007/978-3-642-32332-4 (DOI)

Further information

Lizenzpflichtig

Record ID

1027009646
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal