Showing 1 - 3 of 3 for search: 'Ničković, Dejan,', query time: 0.05s
Published: Springer, 2012
Description: 1 online resource : illustrations (chiefly color).
eBook
Save to List
Cover Image
Published: Springer, 2020
Description: 1 online resource (xix, 538 pages) : illustrations (some color).
eBook
Save to List
Cover Image
Published: Springer, 2020
Description: 1 online resource.
eBook
Save to List
Cover Image

In Prospector

Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

Formal methods (Computer science) Computer software Verification Software engineering Algorithms Artificial intelligence Computer logic Computer simulation Computer software Testing Industrial safety Data processing Logic, Symbolic and mathematical Programming languages (Electronic computers) System analysis Temporal automata