Beckert bernhard edt (24 risultati)
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,95
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,68
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,68
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 57,54
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,44
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,44
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,58
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Electronic Voting : 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 6?9, 2020, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT); Kulyk, Oksana (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,88
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,03
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,60
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,29
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 71,89
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Electronic Voting : 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 6?9, 2020, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT); Kulyk, Oksana (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 73,09
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); Gurov, Dilian (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,35
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,83
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,86
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,05
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Deductive Software Verification - Future Perspectives : Reflections on the Occasion of 20 Years of Key
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Ulbrich, Mattias (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,81
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Formal Methods for Components and Objects : 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard (EDT); Damiani, Ferruccio (EDT); De Boer, Frank S. (EDT); Bonsangue, Marcello M. (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,81
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Krimmer, Robert (EDT); Volkamer, Melanie (EDT); Cortier, Veronique (EDT); Beckert, Bernhard (EDT); Küsters, Ralf (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 75,63
EUR 17,92 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Verification of Object-Oriented Software : The Key Approach
Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 127,61
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Verification of Object-Oriented Software : The Key Approach
Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 134,76
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 149,51
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Deductive Software Verification : The Key Book; from Theory to Practice
Ahrendt, Wolfgang (EDT); Beckert, Bernhard (EDT); Bubel, Richard (EDT); Hähnle, Reiner (EDT); Schmitt, Peter H. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 149,94
EUR 2,35 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
