Aufsatzsammlung

Time for verification : essays in memory of Amir Pnueli

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642137532
Dimensions
24 cm
Extent
X, 399 S.
Language
Englisch
Notes
graph. Darst.

Bibliographic citation
Lecture notes in computer science ; 6200 : Festschrift

Keyword
Formale Methode
Verifikation

Event
Veröffentlichung
(where)
Berlin, Heidelberg
(who)
Springer
(when)
2010
Contributor

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:36 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Aufsatzsammlung

Associated

Time of origin

  • 2010

Other Objects (12)

Essays on spurious long memory time series

Essays on spurious long memory time series

Verification with Memory Models as Input

Verification with Memory Models as Input

Modelling Memory Consistency Models for Formal Verification

Modelling Memory Consistency Models for Formal Verification

AMIR

Graffiti | Streetart

AMIR

Amir

Negativ s/w

Amir

Essays on fractional cointegration and long memory time series

Essays on fractional cointegration and long memory time series

AMiR

Graffiti | Streetart

AMiR

AMiR

Graffiti | Streetart

AMiR

Leonhard, Amir

Akten

Leonhard, Amir

AMiR

Graffiti | Streetart

AMiR

AMiR

Graffiti | Streetart

AMiR

Amir Or

Foto

Amir Or

Related objects