Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture notes in computer science ; 8803. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014(MP) Leveraging applications of formal methods, verification and validation
Availability: Items available for loan: e-Library (1).
|
|
|
187.
|
Leveraging applications of formal methods, verification and validation : specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings. Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture notes in computer science ; 8802. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
188.
|
|
|
|
189.
|
|
|
|
190.
|
|
|
|
191.
|
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / Carlos Canal, Akram Idani (eds.). by Series: Lecture notes in computer science ; 8938. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2015]Copyright date: ©2015
Availability: Items available for loan: e-Library (1).
|
|
|
192.
|
NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.). by Series: Lecture notes in computer science ; 9058. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
193.
|
|
|
|
194.
|
Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures / Marco Bernardo, Einar Broch Johnsen (eds.). by Series: Lecture notes in computer science ; 9104. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
195.
|
Formal techniques for distributed objects, components, and systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Series: Lecture notes in computer science ; 9039. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
196.
|
|
|
|
197.
|
|
|
|
198.
|
Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9113. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015
Availability: Items available for loan: e-Library (1).
|
|
|
199.
|
|
|
|
200.
|
|