Výsledky vyhledávání

Obálka

Verification and validation for quality of UML 2.0 models

Autor Unhelkar, Bhuvan, 1960- Vydáno: 2005

Získat plný text

Kniha

Obálka

Aliasing in object-oriented programming : types, analysis, and verification

Vydáno: 2013

Plný text

E-kniha

Obálka

Beginning Ruby 3 : from beginner to pro

Autor DiLeo, Carleton Vydáno: 2021

Plný text

E-kniha

Obálka

Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Programming Python

Autor Lutz, Mark Vydáno: 2011

Plný text

E-kniha

Obálka

Automatic Methods for the Refinement of System Models : From the Specification to the Implementation

Autor Seiter, Julia Vydáno: 2017

Plný text

E-kniha

Obálka

Programming languages and systems : 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011...

Vydáno: 2011

Plný text

E-kniha

Obálka

ECOOP 2007 - Object-oriented programming : 21st European conference, Berlin, Germany, July 30 - August 3, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

Vydáno: 2006

Plný text

E-kniha