Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Isr…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-13185-1
- Collation
- xix, 555p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.101 Com
CASE IS SOFTWARE AUTOMATION
- Edition
- -
- ISBN/ISSN
- 0-13-119330-9
- Collation
- xii, 290 p. : ill. ; 24 cm
- Series Title
- -
- Call Number
- 005.1 Car c 1989
- Edition
- -
- ISBN/ISSN
- 0-13-119330-9
- Collation
- xii, 290 p. : ill. ; 24 cm
- Series Title
- -
- Call Number
- 005.1 Car c 1989
The Distributed Development environment: The art of using CASE, UNICOM APPLIE…
- Edition
- 1
- ISBN/ISSN
- 0-412-37820-5
- Collation
- 203 p.; ill. ; 23 cm.
- Series Title
- -
- Call Number
- 005.1 Hol d
- Edition
- 1
- ISBN/ISSN
- 0-412-37820-5
- Collation
- 203 p.; ill. ; 23 cm.
- Series Title
- -
- Call Number
- 005.1 Hol d
Search Result
Found 3 from your keywords: Subject : "Computer-Aided Software Engineering"
Query took 0.00505 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography