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)

Semantic analysis :
ανά: Goddard, Cliff
Έκδοση: (1998)

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)

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)