Program analysis probably counts /

QR kód

Program analysis probably counts /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Pierro, Alessandra Di.
Další autoři:	Hankin, Chris., Wiklicky, Herbert.
Médium:	Článek
Jazyk:	English
Témata:	Abstract interpretation Program analysis Semantics
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Sémantique interprétative
Autor: Francois Rastier
Vydáno: (1987)

Program Analysis and Compilation, Theory and Practice
Autor: Reps, Thomas, a další
Vydáno: (2020)

Value-Range Analysis of C Programs
Autor: Simon, Axel
Vydáno: (2020)

Diophantine analysis
Autor: Steuding, Jorn
Vydáno: (2005)

Genetic Programming
Autor: Keijzer, Maarten, a další
Vydáno: (2020)

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

Programming the Semantic Web
Autor: Segaran, Toby
Vydáno: (2009)

Classical Fourier Analysis. 3rd ed.
Autor: Grafakos, Loukas
Vydáno: (2020)

Genetic Programming
Vydáno: (2020)

Genetic Programming
Vydáno: (2020)

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

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

Network Programming with Go
Autor: Newmarch, Jan
Vydáno: (2020)

Functional Programming in R
Autor: Mailund, Thomas
Vydáno: (2020)

Introduction to Programming with Fortran
Autor: Chivers, Ian, a další
Vydáno: (2020)

Beginning Ada Programming
Autor: Shvets, Andrew T.
Vydáno: (2020)

Programming Languages and Systems
Autor: Nicola, Rocco De
Vydáno: (2020)

Programming Languages and Systems
Autor: Caires, Luís
Vydáno: (2020)

Systems Programming in Unix/Linux
Autor: Wang, K.C.
Vydáno: (2020)

Object-Oriented Programming and Java
Autor: Poo, Danny, a další
Vydáno: (2020)

Genetic Programming
Autor: McDermott, James, a další
Vydáno: (2020)

Semantic analysis :
Autor: Goddard, Cliff
Vydáno: (1998)

Excursions in Harmonic Analysis, Volume 5. 1st ed. 2017
Autor: Balan, Radu, a další
Vydáno: (2020)

Central European Functional Programming School
Vydáno: (2020)

Applications of Declarative Programming and Knowledge Management
Vydáno: (2020)

Guide to Assembly Language Programming in Linux
Vydáno: (2020)

Multimedia Introduction to Programming Using Java
Vydáno: (2020)

Principles of Programming Languages
Autor: Dowek, Gilles
Vydáno: (2020)

Inductive Logic Programming
Autor: Riguzzi, Fabrizio, a další
Vydáno: (2020)

Unifying Theories of Programming
Autor: Bowen, Jonathan P., a další
Vydáno: (2020)

Programming Languages and Systems
Vydáno: (2020)

DNA Computing and Molecular Programming
Autor: Brijder, Robert, a další
Vydáno: (2020)

Multiparadigm Programming in Mozart/Oz
Vydáno: (2020)

Modern Programming Made Easy
Autor: Davis, Adam L.
Vydáno: (2020)

Fundamentals of Java Programming
Autor: Ogihara, Mitsunori
Vydáno: (2020)

Generalized Functions and Fourier Analysis. 1st ed. 2017
Autor: Oberguggenberger, Michael, a další
Vydáno: (2020)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
Autor: Hunt, John
Vydáno: (2020)

Interactive Object-Oriented Programming in Java
Autor: Sarcar, Vaskaran
Vydáno: (2020)

Logic-Based Program Synthesis and Transformation
Autor: Hermenegildo, Manuel V, a další
Vydáno: (2020)

Pro Perl Programming
Autor: Rothwell, William "Bo"
Vydáno: (2020)