Výsledky vyhledávání - "Formal specification."

Vybrat výsledek číslo 1
1

A micromodularity mechanism. Autor Jackson, Daniel

Vydáno v Software engineering notes.

Signatura: Načítá se…
Umístění: Načítá se…

Článek Načítá se…

Přidat do košíku Vyjmout z košíku
Samostatný záznam
Vybrat výsledek číslo 2
2

A formal specification and verification framework for Time Warp-based parallel simulation. Autor Frey, P.

Vydáno v IEEE Transactions on software engineering

Signatura: Načítá se…
Umístění: Načítá se…

Článek Načítá se…

Přidat do košíku Vyjmout z košíku
Samostatný záznam

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-. The University Library, University of the Philippines Diliman