Showing
1 - 5
results of
5
for search '
Mosses, Peter D.
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Mosses, Peter D.
Showing
1 - 5
results of
5
for search '
Mosses, Peter D.
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Action semantics
by
Mosses
,
Peter
D
.
Published 1992
Call Number:
Loading…
Located:
Loading…
Book
Loading…
2
CASL User Manual Introduction to Using the Common Algebraic Specification Language /
by
Bidoit, Michel
,
Bidoit, Michel
,
Mosses
,
Peter
D
.
Published 2004
Other Authors:
“…
Mosses
,
Peter
D
.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
Published 2004
Other Authors:
“…
Mosses
,
Peter
D
.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
Published 2005
Other Authors:
“…
Mosses
,
Peter
D
.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings /
Published 2000
Other Authors:
“…
Mosses
,
Peter
D
.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering
Software engineering
Computer science
Computer Communication Networks
Computer Graphics
Computer Science
Computer Science, general
Computer communication systems
Computer graphics
Computers
Data Structures
Data Structures and Information Theory
Data structures (Computer science)
Mathematical Logic and Formal Languages
Mathematical logic
Mathematics
Software Engineering/Programming and Operating Systems
Symbolic and Algebraic Manipulation
Theory of Computation
Γλώσσες προγραμματισμού
Επιστήμη των υπολογιστών
Ηλεκτρονικοί υπολογιστές
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών