Program analysis probably counts /

Código QR (código de barras bidimensional)

Program analysis probably counts /

Na minha lista:

Detalhes bibliográficos
Autor principal:	Pierro, Alessandra Di.
Outros Autores:	Hankin, Chris., Wiklicky, Herbert.
Formato:	Atigo
Idioma:	English
Assuntos:	Abstract interpretation Program analysis Semantics
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

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

Registros relacionados

Sémantique interprétative
por: Francois Rastier
Publicado em: (1987)

Program Analysis and Compilation, Theory and Practice
por: Reps, Thomas, et al.
Publicado em: (2020)

Value-Range Analysis of C Programs
por: Simon, Axel
Publicado em: (2020)

Diophantine analysis
por: Steuding, Jorn
Publicado em: (2005)

Genetic Programming
por: Keijzer, Maarten, et al.
Publicado em: (2020)

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

Programming the Semantic Web
por: Segaran, Toby
Publicado em: (2009)

Classical Fourier Analysis. 3rd ed.
por: Grafakos, Loukas
Publicado em: (2020)

Genetic Programming
Publicado em: (2020)

Genetic Programming
Publicado em: (2020)

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

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

Network Programming with Go
por: Newmarch, Jan
Publicado em: (2020)

Functional Programming in R
por: Mailund, Thomas
Publicado em: (2020)

Introduction to Programming with Fortran
por: Chivers, Ian, et al.
Publicado em: (2020)

Beginning Ada Programming
por: Shvets, Andrew T.
Publicado em: (2020)

Programming Languages and Systems
por: Nicola, Rocco De
Publicado em: (2020)

Programming Languages and Systems
por: Caires, Luís
Publicado em: (2020)

Systems Programming in Unix/Linux
por: Wang, K.C.
Publicado em: (2020)

Object-Oriented Programming and Java
por: Poo, Danny, et al.
Publicado em: (2020)

Genetic Programming
por: McDermott, James, et al.
Publicado em: (2020)

Semantic analysis :
por: Goddard, Cliff
Publicado em: (1998)

Excursions in Harmonic Analysis, Volume 5. 1st ed. 2017
por: Balan, Radu, et al.
Publicado em: (2020)

Central European Functional Programming School
Publicado em: (2020)

Applications of Declarative Programming and Knowledge Management
Publicado em: (2020)

Guide to Assembly Language Programming in Linux
Publicado em: (2020)

Multimedia Introduction to Programming Using Java
Publicado em: (2020)

Principles of Programming Languages
por: Dowek, Gilles
Publicado em: (2020)

Inductive Logic Programming
por: Riguzzi, Fabrizio, et al.
Publicado em: (2020)

Unifying Theories of Programming
por: Bowen, Jonathan P., et al.
Publicado em: (2020)

Programming Languages and Systems
Publicado em: (2020)

DNA Computing and Molecular Programming
por: Brijder, Robert, et al.
Publicado em: (2020)

Multiparadigm Programming in Mozart/Oz
Publicado em: (2020)

Modern Programming Made Easy
por: Davis, Adam L.
Publicado em: (2020)

Fundamentals of Java Programming
por: Ogihara, Mitsunori
Publicado em: (2020)

Generalized Functions and Fourier Analysis. 1st ed. 2017
por: Oberguggenberger, Michael, et al.
Publicado em: (2020)

A Beginner's Guide to Scala, Object Orientation and Functional Programming
por: Hunt, John
Publicado em: (2020)

Interactive Object-Oriented Programming in Java
por: Sarcar, Vaskaran
Publicado em: (2020)

Logic-Based Program Synthesis and Transformation
por: Hermenegildo, Manuel V, et al.
Publicado em: (2020)

Pro Perl Programming
por: Rothwell, William "Bo"
Publicado em: (2020)