peleska - ECU Libraries Catalog

Did you mean: pleska or polska or pletka

Start Over

You searched for: Keywords peleska

Showing 1 - 3 of 3 results

Search Results

Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

by Haxthausen, Anne E.
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

by Havelund, Klaus
2018
Format: Electronic

Location
Access Content Online

Cover image for Correct system design

Correct system design

1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.S88 C678 1999	✔ Available