Cargando…

International Summer School on Program Construction

Detalles Bibliográficos
Autores principales:	Bauer, Friedrich L, Broy, Manfred
Lenguaje:	eng
Publicado:	Springer 1979
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/232547

Ejemplares similares

Theoretical Foundations of Programming Methodology : Lecture Notes of an International Summer School
por: Broy, Manfred, et al.
Publicado: (1982)

International Summer School on Language Hierarchies and Interfaces
por: Bauer, Friedrich L, et al.
Publicado: (1976)

NATO Advanced Study Institute on Constructive Methods in Computing Science
por: Broy, Manfred
Publicado: (1989)

Summer School on Advanced Programming Methodologies
por: Cioni, Gianna, et al.
Publicado: (1989)

NATO Advanced Study Institute on Control Flow and Data Flow
por: Broy, Manfred
Publicado: (1985)

International School of Physics "Enrico Fermi" : Summer Courses 2014
por: Carminati, F, et al.
Publicado: (2016)

Model-driven development of reliable automotive services: second automotive software workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, revised selected papers
por: Broy, Manfred, et al.
Publicado: (2008)

Advanced model-based engineering of embedded systems: extensions of the SPES 2020 methodology
por: Pohl, Klaus, et al.
Publicado: (2016)

Summer Student Program Report
por: Pelak, Stanislav
Publicado: (2013)

European Summer School on Computing Techniques in Physics
por: Nadrchal, Jaroslav
Publicado: (1986)

CERN Summer Student Program Report
por: Saif, Amal
Publicado: (2021)

International Advanced Summer Institute on Microprogramming
por: Boulaye, Guy G, et al.
Publicado: (1972)

10th European Summer School on Computing Techniques in Physics
por: Nadrchal, Jaroslav
Publicado: (1996)

7th European Summer School in Logic, Language and Information
Publicado: (1998)

7th European Summer School on Computing Techniques in Physics
por: Nadrchal, J
Publicado: (1987)

4th Summer School on Computational Physics : Microprocessors and their applications in physics
por: Nadrchal, J
Publicado: (1982)

Summer Student Program Final Report SixTrack Makefile
por: Mituca, Vasile Andrei
Publicado: (2014)

6th Summer School on Geometric and Topological Methods for Quantum Field Theory
por: Cardona, Alexander, et al.
Publicado: (2013)

10th European Summer School in Logic, Language and Information : ESSLLI '98
Publicado: (1998)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

International GridKa School "Big Data, Cloud Computing and Modern Programming"
Publicado: (2015)

Knowledge based program construction
por: Barstow, David R
Publicado: (1979)

8th European Summer School on Computing Techniques : Man-Machine Interface in Scientific Environment
por: Collective
Publicado: (1989)

Summer Student Report
por: Nguyen, Dinh Luan
Publicado: (2016)

Summer Student Report
por: Mohanty, Sharada
Publicado: (2013)

Summer student report
por: Peedo, Kreete
Publicado: (2017)

CERN Summer Student Report
por: Storø Nyfløtt, Martin
Publicado: (2016)

CERN Summer Student Report
por: Kim, Ga In
Publicado: (2013)

Summer 1990 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1990)

Summer 1993 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1993)

Summer 1994 USENIX Conference
por: USENIX Association. Berkeley
Publicado: (1994)

Summer Student Report - AV Workflow
por: Abramson, Jessie
Publicado: (2014)

Summer Student Project 1999: ALPHA++
por: Hoerndl, M
Publicado: (1999)

CERN Summer Student Programme report
por: Abossolo Foh, Lea
Publicado: (2021)

CERN Summer Student Internship Report
por: Gheorghiu, Alexandru
Publicado: (2013)

Work report on summer student project
por: Klc, Daniel
Publicado: (2013)

SummerStudentReport-Juho-Seppanen
por: Seppanen, Juho Richard
Publicado: (2019)

International School of Trigger and Data Acquisition 2011
Publicado: (2011)

6th International Spring School of Physics
por: Caianiello, Eduardo R
Publicado: (1966)

4th Annual Summer Computer Conference
por: Collective
Publicado: (1985)

Cannot write session to /tmp/vufind_sessions/sess_jf47bvdqvsbckkqvbdeq84o0br