Program analysis probably counts /

QRコード

Program analysis probably counts /

保存先:

書誌詳細
第一著者:	Pierro, Alessandra Di.
その他の著者:	Hankin, Chris., Wiklicky, Herbert.
フォーマット:	論文
言語:	English
主題:	Abstract interpretation Program analysis Semantics
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Sémantique interprétative
著者:: Francois Rastier
出版事項: (1987)

Program Analysis and Compilation, Theory and Practice
著者:: Reps, Thomas, 等
出版事項: (2020)

Value-Range Analysis of C Programs
著者:: Simon, Axel
出版事項: (2020)

Diophantine analysis
著者:: Steuding, Jorn
出版事項: (2005)

Genetic Programming
著者:: Keijzer, Maarten, 等
出版事項: (2020)

A contrastive analysis of grammatical and semantic features of words and idioms related to “hearing” in english and vietnamese
著者:: Lê Xuân Thanh Giang
出版事項: (2025)

Programming the Semantic Web
著者:: Segaran, Toby
出版事項: (2009)

Classical Fourier Analysis. 3rd ed.
著者:: Grafakos, Loukas
出版事項: (2020)

Genetic Programming
出版事項: (2020)

Genetic Programming
出版事項: (2020)

An abstract interpretation approach for enhancing the java bytecode verifier /
著者:: Barbuti, Roberto.

A discourse analysis of Syntactic and semantic features of instructions for use of drugs In english and vietnamese
著者:: Lâm Thị Thùy Linh
出版事項: (2025)

Network Programming with Go
著者:: Newmarch, Jan
出版事項: (2020)

Functional Programming in R
著者:: Mailund, Thomas
出版事項: (2020)

Introduction to Programming with Fortran
著者:: Chivers, Ian, 等
出版事項: (2020)

Beginning Ada Programming
著者:: Shvets, Andrew T.
出版事項: (2020)

Programming Languages and Systems
著者:: Nicola, Rocco De
出版事項: (2020)

Programming Languages and Systems
著者:: Caires, Luís
出版事項: (2020)

Systems Programming in Unix/Linux
著者:: Wang, K.C.
出版事項: (2020)

Object-Oriented Programming and Java
著者:: Poo, Danny, 等
出版事項: (2020)

Genetic Programming
著者:: McDermott, James, 等
出版事項: (2020)

Excursions in Harmonic Analysis, Volume 5. 1st ed. 2017
著者:: Balan, Radu, 等
出版事項: (2020)

Central European Functional Programming School
出版事項: (2020)

Applications of Declarative Programming and Knowledge Management
出版事項: (2020)

Guide to Assembly Language Programming in Linux
出版事項: (2020)

Multimedia Introduction to Programming Using Java
出版事項: (2020)

Semantic analysis :
著者:: Goddard, Cliff
出版事項: (1998)

Principles of Programming Languages
著者:: Dowek, Gilles
出版事項: (2020)

Inductive Logic Programming
著者:: Riguzzi, Fabrizio, 等
出版事項: (2020)

Unifying Theories of Programming
著者:: Bowen, Jonathan P., 等
出版事項: (2020)

Programming Languages and Systems
出版事項: (2020)

DNA Computing and Molecular Programming
著者:: Brijder, Robert, 等
出版事項: (2020)

Multiparadigm Programming in Mozart/Oz
出版事項: (2020)

Modern Programming Made Easy
著者:: Davis, Adam L.
出版事項: (2020)

Fundamentals of Java Programming
著者:: Ogihara, Mitsunori
出版事項: (2020)

Generalized Functions and Fourier Analysis. 1st ed. 2017
著者:: Oberguggenberger, Michael, 等
出版事項: (2020)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
著者:: Hunt, John
出版事項: (2020)

Interactive Object-Oriented Programming in Java
著者:: Sarcar, Vaskaran
出版事項: (2020)

Logic-Based Program Synthesis and Transformation
著者:: Hermenegildo, Manuel V, 等
出版事項: (2020)

Pro Perl Programming
著者:: Rothwell, William "Bo"
出版事項: (2020)