52 Results for : fmics

  • Thumbnail
    Critical Systems: Formal Methods and Au
    Erscheinungsdatum: 25.08.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Critical Systems: Formal Methods and Automated Verification, Titelzusatz: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Cavalcanti, Ana // Petrucci, Laure // Seceleanu, Cristina, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Programmieren // EDV // Computerprogrammierung und Softwareentwicklung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Software Engineering // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Programmiersprachen, Seiten: 252, Informationen: Paperback, Gewicht: 415 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 54.49 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Erscheinungsdatum: 10/2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods for Industrial Critical Systems, Titelzusatz: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Redaktion: Howar, Falk // Barnat, Jirí, Verlag: Springer-Verlag GmbH // Springer International Publishing AG, Sprache: Englisch, Schlagworte: Programmieren // EDV // Compiler // Übersetzer // Informationstechnologie // IT // Technologie // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Programmiersprachen // Datenverarbeitung // simulation // COMPUTERS // Programming Languages // General // Programmier // und Skriptsprachen // allgemein // Informationstechnik // allgemeine Themen // 3D-Grafik und Modellierung // IT-Zertifizierung // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik // Computermodellierung und, Rubrik: Programmiersprachen, Seiten: 291, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11119), Informationen: Book, Gewicht: 489 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 57.89 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 48.99 € als Taschenbuch: 17th International Workshop FMICS 2012 Paris France August 27-28 2012 Proceedings. Auflage 2012. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 48.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 48.99 € als Taschenbuch: 18th International Workshop FMICS 2013 Madrid Spain September 23-24 2013 Proceedings. Auflage 2013. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 48.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 61.99 € als Taschenbuch: 25th International Conference FMICS 2020 Vienna Austria September 2-3 2020 Proceedings. 1st ed. 2020. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 61.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 53.49 € als Taschenbuch: 24th International Conference FMICS 2019 Amsterdam The Netherlands August 30-31 2019 Proceedings. 1st ed. 2019. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 53.49 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 64.99 € als Taschenbuch: 16th International Workshop FMICS 2011 Trento Italy August 29-30 2011 Proceedings. Edition. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 64.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 69.99 € als Taschenbuch: 19th International Conference FMICS 2014 Florence Italy September 11-12 2014 Proceedings. Auflage 2014. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 69.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 69.99 € als Taschenbuch: 20th International Workshop FMICS 2015 Oslo Norway June 22-23 2015 Proceedings. Auflage 2015. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 69.99 EUR excl. shipping
  • Thumbnail
    Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems ab 74.99 € als Taschenbuch: 14th International Workshop FMICS 2009 Eindhoven The Netherlands November 2-3 2009 Proceedings. Auflage 2009. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping

Similar searches: