Jose Meseguer

Visos (1)Siūlomos (0)Ieškomos (0)
All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical FrameworkAll About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
Steven Eker, Narciso Martí-Oliet, Jose Meseguer, Francisco Durán, Patrick Lincoln, Manuel Clavel
0
0
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra