Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: "CLAUDE" and "Louis"

Zurück zur Trefferliste


Treffer 10 von 915 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1327921510
Titel The French School of Programming / edited by Bertrand Meyer
Person(en) Meyer, Bertrand (Herausgeber)
Organisation(en) SpringerLink (Online service) (Sonstige)
Ausgabe 1st ed. 2024
Verlag Cham : Springer International Publishing, Imprint: Springer
Zeitliche Einordnung Erscheinungsdatum: 2024
Umfang/Format Online-Ressource, C, 350 p. 66 illus., 25 illus. in color. : online resource.
Andere Ausgabe(n) Printed edition:: ISBN: 978-3-031-34517-3
Printed edition:: ISBN: 978-3-031-34519-7
Printed edition:: ISBN: 978-3-031-34520-3
Inhalt The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design
Persistent Identifier URN: urn:nbn:de:101:1-2404300421404.621233815372
DOI: 10.1007/978-3-031-34518-0
URL https://doi.org/10.1007/978-3-031-34518-0
ISBN/Einband/Preis 978-3-031-34518-0
Sprache(n) Englisch (eng)
DDC-Notation 005.1 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 10 von 915
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration