Alexander Knapp | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?

CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION - JOINT 21ST INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL

Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

VERKAUFSCHANCE WEB 2.0 - DIALOGE FÖRDERN, ABSÄTZE STEIGERN, NEUE MÄRKTE ERSCHLIEßEN

Martin Knappe; Alexander Kracklauer
Gabler (2007)
Kovakantinen kirja

64,90 €

DUDEN BASISWISSEN SCHULE. ENGLISCH ABITUR

Dagmar Knapp; Elisabeth Schmitz-Wensch; Ulrich Bauer; Alexander Hutton; Peter Huuck
Bibliograph. Instit. GmbH (2011)
Kovakantinen kirja

54,90 €

ERNEST BLOCH STUDIES

Alexander Knapp; Norman Solomon
Cambridge University Press (2017)
Kovakantinen kirja

120,90 €

ERNEST BLOCH STUDIES

Alexander Knapp; Norman Solomon
Cambridge University Press (2020)
Pehmeäkantinen kirja

41,20 €

DIE VERGÜTUNG DES INSOLVENZVERWALTERS

Tobias Alexander Knapp
Nomos Verlags GmbH (2022)
Pehmeäkantinen kirja

58,60 €

RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE - 9TH INTERNATIONAL WORKSHOP, RISSEF 2002, VENICE, ITALY,

Martin Wirsing; Alexander Knapp; Simonetta Balsamo
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

51,40 €

MITTEN IM LEBEN UMFANGEN VOM TOD

Christian Frevel; Andreas Scheib; Alexander Sturm; Christof Breitsameter; Markus Knapp; Karl-Georg Reploh
Lit Verlag (2009)
Pehmeäkantinen kirja

51,00 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 22ND INTERNATIONAL CONFERENCE, SEFM 2024, AVEIRO, PORTUGAL, NOVEMBER 6-8, 2024, PROCEE

Alexandre Madeira; Alexander Knapp
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

71,40 €

BIOLOGIE BADEN-WÜRTTEMBERG 5/6 - NEU

Madeleine Birk; Christina Thiesing; Alexander Weller; Felix Hellinger; Philipp Karl; Oliver Knapp; Johannes Konermann; Le
Buchner, C.C. Verlag (2026)
Kovakantinen kirja

40,00 €

Hae lisää...

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

51,40 €

Springer International Publishing AG
Sivumäärä: 247 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 14.09.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus