Critical systems formal methods

Formal Methods for Industrial Critical Systems : 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings

Stoelinga, Maridlle (EDT); Pinger, Ralf (EDT)

Langue : anglais

Edité par Springer, 2012

3642324681 / 9783642324680

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 48,88

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems : 18th International Workshop, Fmics 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Dierkes, Michael (EDT); Pecheur, Charles (EDT)

Langue : anglais

Edité par Springer, 2013

364241009X / 9783642410093

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 49,12

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Formal Methods: Applications And Technology: 11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International . Selected

Langue : anglais

Edité par Springer, 2007

3540709517 / 9783540709510

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 52,65

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Formal Methods: Applications And Technology: 11th International Workshop On Formal Methods For Industrial Critical Systems, Fmics 2006, And 5th International . Selected

0

Langue : anglais

Edité par Springer, 2007

3540709517 / 9783540709510

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 52,65

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Formal Methods for Industrial Critical Systems : 19th International Conference, Fmics 2014, Florence, Italy, September 11-12, 2014, Proceedings

Lang, Frédéric (EDT); Flammini, Francesco (EDT)

Langue : anglais

Edité par Springer, 2014

3319107011 / 9783319107011

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 50,84

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Howar, Falk (EDT); Barnat, Jiri (EDT)

Langue : anglais

Edité par Springer, 2018

3030002438 / 9783030002435

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 52,53

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Paperback or Softback)

Stoelinga, Mariï¿½lle

Langue : anglais

Edité par Springer 7/17/2012, 2012

3642324681 / 9783642324680

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 54,98

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings. Book.

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, 7437)

Langue : anglais

Edité par Springer, 2012

3642324681 / 9783642324680

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 57,02

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th . / Programming and Software Engineering)

Brim, Lubos [Editor]; Haverkort, Boudewijn [Editor]; Leucker, Martin [Editor]; Pol, Jaco van de [Editor];

Langue : anglais

Edité par Springer, 2007

3540709517 / 9783540709510

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 50,75

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Formal Methods for Industrial Critical Systems : 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings

Stoelinga, Maridlle (EDT); Pinger, Ralf (EDT)

Langue : anglais

Edité par Springer, 2012

3642324681 / 9783642324680

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 55,51

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings

Alpuente, Maria (EDT); Cook, Byron (EDT); Joubert, Christophe (EDT)

Langue : anglais

Edité par Springer, 2009

3642045693 / 9783642045691

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 57,65

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems : 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers

Cofer, Darren (EDT); Fantechi, Alessandro (EDT)

Langue : anglais

Edité par Springer, 2009

3642032397 / 9783642032394

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 57,65

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Salaun, Gwen (EDT); Schatz, Bernhard (EDT)

Langue : anglais

Edité par Springer, 2011

3642244300 / 9783642244308

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 57,65

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Paperback or Softback)

Salaï¿½n, Gwen

Langue : anglais

Edité par Springer 9/19/2011, 2011

3642244300 / 9783642244308

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Book.

Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape (Paperback or Softback)

Cofer, Darren

Langue : anglais

Edité par Springer 7/20/2009, 2009

3642032397 / 9783642032394

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, l'Aquila, Italy, September 15-16, 2008, Revised Selected Pape. Book.

Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings (Paperback or Softback)

Alpuente, Marï¿½a

Langue : anglais

Edité par Springer 10/26/2009, 2009

3642045693 / 9783642045691

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,09

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings. Book.

Formal Methods for Industrial Critical Systems : 20th International Conference, Fmics 2015, Proceedings

Nunez, Manuel (EDT); Güdemann, Matthias (EDT)

Langue : anglais

Edité par Springer, 2015

3319194577 / 9783319194578

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 57,97

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Howar, Falk (EDT); Barnat, Jiri (EDT)

Langue : anglais

Edité par Springer, 2018

3030002438 / 9783030002435

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Comme neuf

EUR 59,03

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Methods for Industrial Critical Systems : 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings

Remke, Anne (EDT); Steffen, Bernhard (EDT)

Langue : anglais

Edité par Springer, 2025

3032009413 / 9783032009418

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 59,07

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 2 disponibles

Etat : New.