Hinweis: Wir sind nicht für die Inhalte fremder Seiten verantwortlich,
die Sie über einen Link erreichen.
Alle Links (auch die zu kommerziellen Webseiten) sind als (Literatur-)Hinweise
zu verstehen, also nicht als Werbung für die jeweiligen Anbieter.
Bergische Universität Wuppertal (BUW)
Verifikationsnumerik
-
Forschungsgruppen im Bereich Verifikationsnumerik im deutschsprachigen Raum:
-
Wichtige Tagungen zu Themenbereichen der Verifikationsnumerik:
-
SCAN 2016, Uppsala (Sweden), September, 2016
-
SCAN 2014, Würzburg (Germany), September, 2014
-
SCAN 2012, Novosibirsk (Russia), September 23-29, 2012
-
SCAN 2010, Lyon (France)
-
SCAN 2008, El Paso (Texas, USA)
-
SCAN 2006, Duisburg (Germany)
-
SCAN 2004, Fukuoka (Japan)
-
SCAN 2002, Paris (France)
-
SCAN 2000 / Interval 2000, Karlsruhe (Germany)
-
SCAN98, Budapest (Hungary)
-
Interval-Related
Section at 1997 GAMM Annual Meeting, Regensburg (Germany)
-
SCAN97, Lyon (France)
-
SCAN95, Wuppertal (Germany)
XSC-Sprachen
Objektorientierte Programmiersprachen
-
Ein Entwurf des nächsten geplanten C++ Standards ist
hier zu finden.
Der ISO-Standard ist 2003 unter der Nummer ISO/IEC 14882-2003 erschienen.
Er kann kostenpflichtig bei www.ansi.org
bestellt werden.
Softwaretechnologie