Program analysis probably counts /

QR kȏd

Program analysis probably counts /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Pierro, Alessandra Di.
Daljnji autori:	Hankin, Chris., Wiklicky, Herbert.
Format:	Članak
Jezik:	English
Teme:	Abstract interpretation Program analysis Semantics
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Sémantique interprétative
od: Francois Rastier
Izdano: (1987)

Program Analysis and Compilation, Theory and Practice
od: Reps, Thomas, i dr.
Izdano: (2020)

Value-Range Analysis of C Programs
od: Simon, Axel
Izdano: (2020)

Diophantine analysis
od: Steuding, Jorn
Izdano: (2005)

Genetic Programming
od: Keijzer, Maarten, i dr.
Izdano: (2020)

A contrastive analysis of grammatical and semantic features of words and idioms related to “hearing” in english and vietnamese
od: Lê Xuân Thanh Giang
Izdano: (2025)

Programming the Semantic Web
od: Segaran, Toby
Izdano: (2009)

Classical Fourier Analysis. 3rd ed.
od: Grafakos, Loukas
Izdano: (2020)

Genetic Programming
Izdano: (2020)

Genetic Programming
Izdano: (2020)

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

A discourse analysis of Syntactic and semantic features of instructions for use of drugs In english and vietnamese
od: Lâm Thị Thùy Linh
Izdano: (2025)

Network Programming with Go
od: Newmarch, Jan
Izdano: (2020)

Functional Programming in R
od: Mailund, Thomas
Izdano: (2020)

Introduction to Programming with Fortran
od: Chivers, Ian, i dr.
Izdano: (2020)

Beginning Ada Programming
od: Shvets, Andrew T.
Izdano: (2020)

Programming Languages and Systems
od: Nicola, Rocco De
Izdano: (2020)

Programming Languages and Systems
od: Caires, Luís
Izdano: (2020)

Systems Programming in Unix/Linux
od: Wang, K.C.
Izdano: (2020)

Object-Oriented Programming and Java
od: Poo, Danny, i dr.
Izdano: (2020)

Genetic Programming
od: McDermott, James, i dr.
Izdano: (2020)

Semantic analysis :
od: Goddard, Cliff
Izdano: (1998)

Excursions in Harmonic Analysis, Volume 5. 1st ed. 2017
od: Balan, Radu, i dr.
Izdano: (2020)

Central European Functional Programming School
Izdano: (2020)

Applications of Declarative Programming and Knowledge Management
Izdano: (2020)

Guide to Assembly Language Programming in Linux
Izdano: (2020)

Multimedia Introduction to Programming Using Java
Izdano: (2020)

Principles of Programming Languages
od: Dowek, Gilles
Izdano: (2020)

Inductive Logic Programming
od: Riguzzi, Fabrizio, i dr.
Izdano: (2020)

Unifying Theories of Programming
od: Bowen, Jonathan P., i dr.
Izdano: (2020)

Programming Languages and Systems
Izdano: (2020)

DNA Computing and Molecular Programming
od: Brijder, Robert, i dr.
Izdano: (2020)

Multiparadigm Programming in Mozart/Oz
Izdano: (2020)

Modern Programming Made Easy
od: Davis, Adam L.
Izdano: (2020)

Fundamentals of Java Programming
od: Ogihara, Mitsunori
Izdano: (2020)

Generalized Functions and Fourier Analysis. 1st ed. 2017
od: Oberguggenberger, Michael, i dr.
Izdano: (2020)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
od: Hunt, John
Izdano: (2020)

Interactive Object-Oriented Programming in Java
od: Sarcar, Vaskaran
Izdano: (2020)

Logic-Based Program Synthesis and Transformation
od: Hermenegildo, Manuel V, i dr.
Izdano: (2020)

Pro Perl Programming
od: Rothwell, William "Bo"
Izdano: (2020)