Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 194
Titolo Data di pubblicazione Autore(i) File
LL(1) grammars supporting an efficient error handling 1-gen-1975 GHEZZI, CARLO
Context-free graph grammars 1-gen-1978 GHEZZI, CARLO +
Specifiche e prove di proprietà dei programmi: lo stato dell'arte 1-gen-1978 GHEZZI, CARLOMANDRIOLI, DINO
Incremental Parsing 1-gen-1979 GHEZZI, CARLOMANDRIOLI, DINO
Augmenting Parsers to Support Incrementality 1-gen-1980 GHEZZI, CARLOMANDRIOLI, DINO
SIMPLE: A Program Development System 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
Separate Compilation and Partial Specification in Pascal 1-gen-1980 DELLA VIGNA, PIERLUIGIGHEZZI, CARLOMANDRIOLI, DINO +
Compiler testing using a sentence generator 1-gen-1980 GHEZZI, CARLO +
Language Constructs for Real-Time Distributed Systems 1-gen-1982 GHEZZI, CARLOMANDRIOLI, DINO +
Using FP as a query language for relational data-bases 1-gen-1984 GHEZZI, CARLO +
Concurrency in programming languages: A survey 1-gen-1985 GHEZZI, CARLO
Modeling the Ada Task System by Petri Nets 1-gen-1985 MANDRIOLI, DINOGHEZZI, CARLO +
A proposal for a new software reliability model and its preliminary assessment 1-gen-1986 BITTANTI, SERGIOBOLZERN, PAOLO GIUSEPPE EMILIOGHEZZI, CARLOSCATTOLINI, RICCARDO
On the specification of real-time systems using logic programming 1-gen-1987 GARZOTTO, FRANCAGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Theoretical Foundations of Computer Science. 1-gen-1987 MANDRIOLI, DINOGHEZZI, CARLO
On the Behavior of Concurrent and Real-Time Systems 1-gen-1989 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINO
Symbolic Execution of Concurrent Systems Using Petri Nets 1-gen-1989 GHEZZI, CARLOMANDRIOLI, DINO +
TRIO a Logic Language for Executable Specifications of Real-time Systems 1-gen-1990 GHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Software Specialization via Symbolic Execution 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
Mostrati risultati da 1 a 20 di 194
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile