All About Maude - A High-Performance Logical Framework
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
All About Maude - A High-Performance Logical Framework
Steven Eker
Narciso Martí-Oliet
Jose Meseguer
Francisco Durán
Patrick Lincoln
Manuel Clavel
Leidėjas:
Springer-Verlag GmbH
2007
ISBN 9783540719403
Viršelis: Kietas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Fiziniai ir technologijos mokslai
Statyba, inžinerija
Redaguoti informaciją
Šią knygą siūlo
(0)
Šios knygos nori
(0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
