Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Reynolds, Andrew.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Verified software. theories, tools and experiments15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers / by: (1998 :); Reynolds, Andrew.; SpringerLink (Online service); Tasiran, Serdar. (Electronic resources)

Subjects

Software Engineering. Logic in AI. Computer software Computer Science Logic and Foundations of Programming. Special Purpose and Application-Based Systems. Computer Hardware. Computer System Implementation.

Change password

Login