Yazar
Foret, Annie. editor.
Format:
Electronic Resources
Alıntı:
proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and
2.
Yazar
Bernardi, Raffaella. editor.
Format:
Electronic Resources
Alıntı:
application of formal and mathematical methods to the study of natural language and focus on topics such as
View Other Search Results
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5
Yazar
Bartocci, Ezio. editor.
Format:
Electronic Resources
Alıntı:
practically complement the traditional methods proving programs correct before their execution, such as model
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
Probability and Statistics in Computer Science.
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: