Aliasing in object-oriented programming. Types, analysis and verification.

Código QR

Aliasing in object-oriented programming. Types, analysis and verification.

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

An introduction to object-oriented programming /
por: Budd, Timothy,
Publicado: (2002)

Object-oriented analysis /
por: Yourdon, Edward, et al.
Publicado: (1990)

Object-Based Image Analysis and Treaty Verification New Approaches in Remote Sensing - Applied to Nuclear Facilities in Iran /
por: Nussbaum, Sven., et al.
Publicado: (2008)

Advanced object-oriented programming in R : Statistical Programming for Data Science, Analysis and Finance.

Beginning C# Object-Oriented Programming /
por: Clark, Dan.
Publicado: (2013)

Combining object-oriented and logic programming /
por: Jenkins Coronas, Marcelo, et al.
Publicado: (1992)

An introduction to object-oriented programming and Smalltalk /
por: Pinson, Lewis J., et al.
Publicado: (1988)

Beginning C# object-oriented programming /
Publicado: (2011)

Beginning C# object-oriented programming /
Publicado: (2013)

Beginning C# Object-Oriented Programming /
por: Clark, Dan.
Publicado: (2011)

INCREMENTAL CHANGE IN OBJECT-ORIENTED PROGRAMMING.
por: RAJLICH, VACLAV

Object-oriented analysis and design /
por: Martin, James Thomas 1933-, et al.
Publicado: (1992)

Interactive Object Oriented Programming in Java : Learn and Test Your Skills /
por: Sarcar, Vaskaran.
Publicado: (2016)

Concise guide to object-oriented programming : An Accessible Approach Using Java /
Publicado: (2019)

Program verification using Ada
por: McGettrick, Andrew D., et al.
Publicado: (1982)

Design considerations and object types /

Beginning Object-Oriented Programming with VB 2005 : From Novice to Professional /
por: Clark, Dan.
Publicado: (2006)

Head first object-oriented analysis and design /
por: McLaughlin, Brett D., et al.
Publicado: (2006)

Head first object-oriented analysis and design /
por: McLaughlin, Brett D.
Publicado: (2007)

Object-oriented programming with PHP5 : learn to leverage PHP5'S OOP features to write manageable applications with ease /
por: Hayder, Hasin
Publicado: (2007)

A beginner's guide to scala, object orientation and functional programming /
por: Hunt, John
Publicado: (2014)

A beginner's guide to scala, object orientation and functional programming /
por: Hunt, John
Publicado: (2018)

Deductive object - oriented database for protein structure analysis
por: Paíz Díaz. Imara
Publicado: (1994)

Programming in objective-C /
por: Kochan, Stephen G. 1955-, et al.
Publicado: (2014)

Object-oriented requirements analysis and logical design : a software engineering approach /
por: Firesmith, Donald G., 1952-
Publicado: (1993)

Foundations of Object-Oriented Programming Using .NET 2.0 Patterns /
por: Gross, Christian.
Publicado: (2006)

String Analysis for Software Verification and Security /
por: Bultan, Tevfik., et al.
Publicado: (2017)

Types and programming languages /
por: Pierce, Benjamin C.
Publicado: (2002)

JavaScript Object Programming
por: Rinehart, Martin.
Publicado: (2015)

Object-oriented metrics : measures of complexity
por: Henderson-Sellers, Brian, et al.
Publicado: (1996)

PHP Object-Oriented Solutions
por: Powers, David.
Publicado: (2008)

The object-oriented thought process.
por: Weisfeld, Matt
Publicado: (2013)

The object-oriented thought process /
por: Weisfeld, Matt,
Publicado: (2013)

Object-oriented Python : master OOP by building games and GUIs /
por: Kalb, Irv
Publicado: (2022)

DISTRIBUTED PROGRAMMING WITH TYPED EVENTS.
por: EUGSTER, PATRICK T.

Object-oriented JavaScrip : learn everything you need to know about object-oriented JavaScript (OOJS) /
por: Antani, Ved,
Publicado: (2017)

Theoretical analysis of stability of axially symmetric rotating objects with regard to orienting apples.
por: Narayanan, P.

Object-oriented and classical software engineering /
por: Schach, Stephen R.
Publicado: (2011)

Object-oriented multidatabase systems : a solution for advanced applications /
por: Bukhres, Omran A.
Publicado: (1996)

Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, september 21-24, 2010. Proceedings /
Publicado: (2010)