Rezultaty
1 - 1
Rezultaty od
1
Przejdź do treści
Welcome to University of UNSW, Bengaluru
Home
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sign In
Wszystkie pola
Tytuł
Autor
Hasło przedmiotowe
Sygnatura
ISBN / ISSN
Etykieta
Szukaj
Wyszukiwanie zaawansowane
Autor
Ulbrich, Mattias
Rezultaty - Ulbrich, Mattias
Rezultaty
1 - 1
Rezultaty od
1
Redukuj rezultaty
Sortuj
Ważność
Według najnowszych
Według najstarszych
Sygnatura
Autor
Tytuł
inne
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
od
Mostowski, Wojciech
,
Ulbrich, Mattias
Wydane 2021
Dokumenty pełnotekstowe
Online
Standalone Record
Dodaj do listy ulubionych książek
Zapisane w:
Narzędzie wyszukiwania:
Abonuj RSS
Wyślij rezultaty emailem
Podobne hasła
Boolean data type
Dynamic dispatch
First-order logic
Inheritance (object-oriented programming)
Java Modeling Language
KeY
Liskov substitution principle
Postcondition
Predicate (mathematical logic)
dispatch
encapsulation
ghost