Search results 11
Paper図書
National Diet Library
- Subject HeadingSoftware enginnering -- Congresses. Software Engineering. Programmverifikation. Nebenläufigkeit.
Paper図書
National Diet Library
- Subject Heading...spezifikation. Programmverifikation. Abstrakte Zustandsmaschine. F...
Paper図書
National Diet Library
- Subject Heading...ogrammanalyse. Programmverifikation. Formale Methode. Edinburgh <2...
Paper図書
National Diet Library
- Subject Heading...ogrammanalyse. Programmverifikation. Model Checking. Abstrakte Int...
Paper図書
National Diet Library
- Subject Heading...odel Checking. Programmverifikation. Trusted Computing. Typprüfun...
Paper図書
National Diet Library
- Subject Heading...ungsverfahren. Programmverifikation. Programmanalyse. Programmtest...
Paper図書
National Diet Library
- Subject Heading...grammierlogik. Programmverifikation. Rechnernetz. Sicherheitsproto...
Paper図書
National Diet Library
- Subject Heading...everifikation. Programmverifikation. Software. Testen. Model Check...
Paper図書
National Diet Library
- Subject Heading...ransformation. Programmverifikation. Sicherheit. Softwaresystem. K...
Paper図書
National Diet Library
- Subject Heading...odel Checking. Programmverifikation. Sicherheitskritisches System....
Reached to the end of result.