Results
|
|
261.
|
Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings / Jorge A. Pérez, Nobuko Yoshida (eds.). by Series: Lecture notes in computer science ; 11535. | 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).
|
|
|
262.
|
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / Julia M. Badger, Kristin Yvonne Rozier (eds.). by Series: Lecture notes in computer science ; 11460. | Lecture notes in computer science. Formal methods. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2019]
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
263.
|
|
|
|
264.
|
Recent trends in algebraic development techniques : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised selected papers / José Luiz Fiadeiro, Ionuţ Ţuţu (eds.). by Series: Lecture notes in computer science ; 11563. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
265.
|
Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis. by Series: Lecture notes in computer science ; 11612. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019Copyright date: ©2019
Availability: Items available for loan: e-Library (1).
|
|
|
266.
|
|
|
|
267.
|
|
|
|
268.
|
Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings / Peter Csaba Ölveczky, Gwen Salaün (eds.). by Series: Lecture notes in computer science ; 11724. | Lecture notes in computer science. Formal methods. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, [2019]
Availability: Items available for loan: e-Library (1).
|
|
|
269.
|
Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.). by Series: Formal methods | Lecture notes in computer science ; 11800. | 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).
|
|
|
270.
|
Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) by Series: Lecture notes in computer science ; 11758. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
Availability: Items available for loan: e-Library (1).
|
|
|
271.
|
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings / Bernd Finkbeiner, Leonardo Mariani (eds.). by Series: Formal methods | Lecture notes in computer science ; 11757. | 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).
|
|
|
272.
|
Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings / Yamine Ait-Ameur, Shengchao Qin (eds.). by Series: Lecture notes in computer science ; 11852. | 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).
|
|
|
273.
|
|
|
|
274.
|
Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers / Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan (eds.). by Series: Lecture notes in computer science ; 12028. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
275.
|
Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings / Farhad Arbab, Sung-Shik Jongmans (eds.). by Series: Lecture notes in computer science ; 12018. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2020Copyright date: ©2020
Availability: Items available for loan: e-Library (1).
|
|
|
276.
|
Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Alexey Gotsman, Ana Sokolova (eds.). by Series: Lecture notes in computer science ; 12136. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
277.
|
|
|
|
278.
|
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.). by Series: Lecture notes in computer science ; 12229. | Formal methods | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham, Switzerland : Springer, 2020
Availability: Items available for loan: e-Library (1).
|
|
|
279.
|
|
|
|
280.
|
Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings / Maurice H. ter Beek, Dejan Ničković (eds.). by Series: Lecture notes in computer science ; 12327. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Cham, Switzerland : Springer, 2020
Availability: Items available for loan: e-Library (1).
|