Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé

http://data.bibliotheken.nl/id/nbt/p314319743 an entity of type: CreativeWork

Testing reactive systems with data : enumerative methods and constraint solving / Jens Rüdiger Calamé 
9789064642739 
Proefschrift Universiteit Twente, Enschede 
en 
Testing reactive systems with data : enumerative methods and constraint solving 
xsd:integer 226 
schema:CreativeWork
schema:Book
schema:ProductModel
<http://data.bibliotheken.nl/id/thes/p294569243>
<http://www.worldcat.org/oclc/246508608>
<http://data.bibliotheken.nl/id/nbt/p165543140>
<http://data.bibliotheken.nl/id/thes/p077605306>
<http://data.bibliotheken.nl/id/nbt/p314320164>
_:f3ef02e0d8b096670ff2d037604b5e86
_:f35c18dc8f10933a7536a3f9ee8cc71a

blank nodes

_:f3ef02e0d8b096670ff2d037604b5e86
xsd:gYear 2008 
_:f35c18dc8f10933a7536a3f9ee8cc71a
314319743 
xsd:date 2008-09-08 
xsd:date 2021-10-11 
schema:AboutPage
<http://data.bibliotheken.nl/doc/nbt/p314319743>
<http://creativecommons.org/publicdomain/zero/1.0/>
<http://data.bibliotheken.nl/id/dataset/nbt>
<http://data.bibliotheken.nl/id/nbt/p314319743>

data from the linked data cloud