buchspektrum Internet-Buchhandlung

Buchlisten 2020 Liste 11688

Stand: 2020-02-01
Schnellsuche
ISBN/Stichwort/Autor
Herderstraße 10
10625 Berlin
Tel.: 030 315 714 16
Fax 030 315 714 14
info@buchspektrum.de

  1. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: Stefan Leue, Pedro Merino
    12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
    Herausgegeben von Leue, Stefan; Merino, Pedro
    2008. x, 254 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2008
    ISBN: 3-540-79706-8 (3540797068)
    Neue ISBN: 978-3-540-79706-7 (9783540797067)

  2. kein Cover

    Formal Methods for Industrial Critical ---Bestellen---
    Titel: Formal Methods for Industrial Critical Systems
    Beteiligte: Kim Guldstrand Larsen, Tim Willemse
    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    Herausgegeben von Larsen, Kim Guldstrand; Willemse, Tim
    1st ed. 2019. 2019. xv, 161 S. 123 SW-Abb., 33 Farbabb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2019
    ISBN: 3-03-027007-6 (3030270076)
    Neue ISBN: 978-3-03-027007-0 (9783030270070)

  3. kein Cover

    Formal Methods: Foundations and Applica ---Bestellen---
    Titel: Formal Methods: Foundations and Applications
    Beteiligte: Marcel Vinícius Mede Oliveira, Jim Woodcock
    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    Herausgegeben von Oliveira, Marcel Vinícius Medeiros; Woodcock, Jim
    2009. x, 351 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-10451-7 (3642104517)
    Neue ISBN: 978-3-642-10451-0 (9783642104510)

  4. kein Cover

    Formal Methods: Foundations and Applica ---Bestellen---
    Titel: Formal Methods: Foundations and Applications
    Beteiligte: Simone Cavalheiro, José Fiadeiro
    20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
    Herausgegeben von Cavalheiro, Simone; Fiadeiro, José
    1st ed. 2017. 2017. x, 305 S. 101 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-70847-3 (3319708473)
    Neue ISBN: 978-3-319-70847-8 (9783319708478)

  5. kein Cover

    Formal Methods: State of the Art and Ne ---Bestellen---
    Titel: Formal Methods: State of the Art and New Directions
    Beteiligte: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
    Herausgegeben von Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed
    2010. 2014. xxv, 273 S. 1 Tabellen. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER, LONDON; SPRINGER 2014
    ISBN: 1-447-15745-1 (1447157451)
    Neue ISBN: 978-1-447-15745-8 (9781447157458)

  6. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Eugene Asarin, Patricia Bouyer
    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    Herausgeber: Bouyer, Patricia, Asarin, Eugene
    2006. xii, 372 S. XI, 369 p. Also available online. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2006
    ISBN: 3-540-45026-2 (3540450262)
    Neue ISBN: 978-3-540-45026-9 (9783540450269)

  7. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Joel Ouaknine, Frits W. Vaandrager
    7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings
    Herausgeber: Vaandrager, Frits W., Ouaknine, Joel
    2009. x, 291 S. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN 2009
    ISBN: 3-642-04367-4 (3642043674)
    Neue ISBN: 978-3-642-04367-3 (9783642043673)

  8. kein Cover

    Formal Modeling and Analysis of Timed S ---Bestellen---
    Titel: Formal Modeling and Analysis of Timed Systems
    Beteiligte: Alessandro Abate, Gilles Geeraerts
    15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    Herausgegeben von Abate, Alessandro; Geeraerts, Gilles
    1st ed. 2017. 2017. x, 353 S. 93 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
    ISBN: 3-319-65764-X (331965764X)
    Neue ISBN: 978-3-319-65764-6 (9783319657646)

  9. kein Cover

    Formal Techniques for Distributed Objec ---Bestellen---
    Titel: Formal Techniques for Distributed Objects, Components, and Systems
    Beteiligte: Susanne Graf, Mahesh Viswanathan
    35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-5, 2015, Pr
    Herausgegeben von Graf, Susanne; Viswanathan, Mahesh
    2015. 2015. xii, 245 S. 47 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2015
    ISBN: 3-319-19194-2 (3319191942)
    Neue ISBN: 978-3-319-19194-2 (9783319191942)

  10. kein Cover

    Formal Techniques for Distributed Objec ---Bestellen---
    Titel: Formal Techniques for Distributed Objects, Components, and Systems
    Beteiligte: Elvira Albert, Ivan Lanese
    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9,
    Herausgegeben von Albert, Elvira; Lanese, Ivan
    1st ed. 2016. 2016. xvi, 275 S. 56 SW-Abb. 235 mm
    Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2016
    ISBN: 3-319-39569-6 (3319395696)
    Neue ISBN: 978-3-319-39569-2 (9783319395692)

zurück
Hauptliste
vor