Results
|
|
61.
|
|
|
|
62.
|
Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers / Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (eds.). by Series: Lecture notes in computer science ; 7421. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Availability: Items available for loan: e-Library (1).
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
Software technology : methods and tools : 51st international conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, proceedings / Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko (eds.). by Series: Lecture notes in computer science ; 11771. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|