Treffer 1 – 7 von 7 für Suche 'Lucena, Carlos J.', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    An approach for data specification and its use in program verification

    An approach for data specification and its use in program verification von Pequeno, Tarcísio H., Lucena, Carlos J.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    On the use of a problem statement language in a software development environment

    On the use of a problem statement language in a software development environment von Lucena, Carlos J., Delaroli, Romeu, Da Silva, V. G.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Geração de dados de teste baseada nos aspectos estruturais de programas

    Geração de dados de teste baseada nos aspectos estruturais de programas von Da Silveira, Antonio M., Lucena, Carlos J.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    PUC, a knowledge based environment for planned user communication

    PUC, a knowledge based environment for planned user communication von Guaranys, Paula Y., Lucena, Carlos J.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    An incremental approach to the construction of data base software

    An incremental approach to the construction of data base software von Furtado, Antonio L., Lucena, Carlos J.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A view of the program derivation process based on incompletely defined data types a case study

    A view of the program derivation process based on incompletely defined data types a case study von Lucena, Carlos J., Pequeno, Tarcísio H.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Design and implementation of a data abstraction definition facility

    Design and implementation of a data abstraction definition facility von Schwabe, Daniel, Lucena, Carlos J.

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: