Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2988
Edition: 1st ed. 2004.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13466
Edition: 1st ed. 2022.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
In:
Springer Nature eBook
Availability: No items available.
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1384
Edition: 1st ed. 1998.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998
In:
Springer Nature eBook
Availability: No items available.
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
