Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: A Refinement Method for Java Programs

Treffer 161 - 180 von 294

161

REFINE 2008 Linking Event-B and Concurrent Object-Oriented Programs
Andrew Edmunds ; Michael Butler ; The Pennsylvania State University CiteSeerX Archives
http://eprints.soton.ac.uk/266003/1/refine2008B.pdf.

Event-B Object-oriented Concurrency Refinement
Fachzeitschrift
Zu den Favoriten
165

RELEVANSI PROGRAM DOUBLE TRACK DENGAN KURIKULUM SEKOLAH MENENGAH ATAS
Sulistyowati, Nining

L Education (General) LB2300 Higher Education
Dissertation
Zu den Favoriten
166

EVALUASI PENYELENGGARAAN PROGRAM SARJANA PENDAMPING PENGGERAK PEMBANGUNAN OLAHRAGA
Endi Rustandi, -

GV Recreation Leisure L Education (General)
Dissertation
Zu den Favoriten
167

FORMAL SPECIFICATION AND REFINEMENT OF THE NAVIGATION TASKS OF AUTONOMOUS ROBOTS
Rabiah, Eman Rabiah
Theses

formal specification path planning A* algorithm autonomous robots formal refinement equivalent implementatio... …
Fachzeitschrift
Zu den Favoriten
168

Integration of Maventa electronic invoicing web service into PlanMill business application suite
Van Dok, Gavin ; HAAGA-HELIA ammattikorkeakoulu

verkkopalvelut laskutus sähköinen laskutus fi=Tietojenkäsittely|sv=... Degree Programme in Busi...
Dissertation
Zu den Favoriten
169

IMPLEMENTATION OF FAMILY INVOLVEMENT IN EDUCATION MANAGEMENT IN THE MIDDLE SCHOOL
Suharti, Lety
Empowerment : Jurnal Ilmiah Program Studi Pendidikan Luar Sekolah; Vol. 10 No. 1 (2021): Volume 10 Nomor 1; February 2021; 63-72 ; Jurnal Empowerment; Vol 10 No 1 (2021): Volume 10 Nomor 1; February 2021; 63-72 ; 2580-7692 ; 2252-4738 ; 10.22460/empowerment.v10i1

family high school
Fachzeitschrift
Zu den Favoriten
171

Exploiting Behavioral Hierarchy for Efficient Model Checking
Alur, Rajeev ; McDougall, Michael ; Yang, Zijiang
338 ; 342 ; 201 ; Departmental Papers (CIS) ; Lecture Notes in Computer Science: Computer Aided Verification ; published ; 2404

CPS Formal Methods
Konferenz
Zu den Favoriten
172

Type-Safe Feature-Oriented Product Lines
Sven Apel ; Christian Kästner ; Armin Größlinger ; et al.
http://www.cs.cmu.edu/~ckaestne/pdf/mip-0909.pdf.

Fachzeitschrift
Zu den Favoriten
174

Object-oriented style overloading for Haskell
Mark Shields ; Simon Peyton Jones ; The Pennsylvania State University CiteSeerX Archives
http://research.microsoft.com/en-us/um/people/nick/entcs/shields.pdf.

Fachzeitschrift
Zu den Favoriten
177

Object-oriented implementation of p-adaptive finite element method
Singh, Mandeep ; Akin, John Edward.

Applied mechanics Mechanical engineering Computer science
Dissertation
Zu den Favoriten
178

Abstract Object-Oriented Style Overloading for Haskell
Mark Shields ; Simon Peyton Jones ; The Pennsylvania State University CiteSeerX Archives
http://research.microsoft.com/~simonpj/Papers/oo-haskell/overloading.pdf.

Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter