Viimati ilmunud raamatud

Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFLplusMSVL 2020, Singapore, March 1, 2021, Revised Selected Papers 1st ed. 2021

Thu, 04 Jun 2020 00:00:00 GMT

Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
ISBN: 9783030774738
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 04-Jun-2020
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFLplusMSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers 2020 ed.

Wed, 20 Feb 2019 00:00:00 GMT

Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
ISBN: 9783030414177
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 20-Feb-2019
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFLplusMSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers 2019 ed.

Fri, 09 Feb 2018 00:00:00 GMT

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
ISBN: 9783030136505
Kirjastus: Springer Nature Switzerland AG
Formaat: Pehme k�ide, Ilmumisaeg: 09-Feb-2018
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 7th International Workshop, SOFLplusMSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers 2018 ed.

Tue, 18 Apr 2017 00:00:00 GMT

Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan
ISBN: 9783319901039
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Apr-2017
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFLplusMSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers 1st ed. 2017

Thu, 21 Apr 2016 00:00:00 GMT

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
ISBN: 9783319577074
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 21-Apr-2016
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFLplusMSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers 1st ed. 2016

Fri, 13 Mar 2015 00:00:00 GMT

Shaoying Liu, Zhenhua Duan
ISBN: 9783319312194
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Mar-2015
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFLplusMSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers 2015 ed.

Sun, 27 Apr 2014 00:00:00 GMT

Shaoying Liu, Zhenhua Duan
ISBN: 9783319174037
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 27-Apr-2014
Hind: 39,44 �

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures 2013 ed.

Mon, 26 Aug 2013 00:00:00 GMT

Elena Giachino, Reiner H�hnle, Frank S. de Boer, Marcello M. Bonsangue
ISBN: 9783642406140
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 26-Aug-2013
Hind: 45,00 �

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFLplusMSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers 2014 ed.

Mon, 11 Mar 2013 00:00:00 GMT

Shaoying Liu, Zhenhua Duan
ISBN: 9783319049144
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 11-Mar-2013
Hind: 48,70 �

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers 2013 ed.

Tue, 14 Aug 2012 00:00:00 GMT

Shaoying Liu
ISBN: 9783642392764
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 14-Aug-2012
Hind: 45,00 �

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 2013 ed.

Tue, 03 Jan 2012 00:00:00 GMT

Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
ISBN: 9783642358869
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 03-Jan-2012
Hind: 48,70 �

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 2012

Mon, 12 Dec 2011 00:00:00 GMT

Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
ISBN: 9783642252709
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 12-Dec-2011
Hind: 48,70 �

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers 2012 ed.

Tue, 19 Jul 2011 00:00:00 GMT

Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
ISBN: 9783642317613
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 19-Jul-2011
Hind: 45,00 �

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers 2011 ed.

Thu, 14 Jan 2010 00:00:00 GMT

Bernhard Beckert, Claude March�
ISBN: 9783642180699
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 14-Jan-2010
Hind: 48,70 �

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Mon, 04 Jan 2010 00:00:00 GMT

Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
ISBN: 9783642170706
Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Formaat: Pehme k�ide, Ilmumisaeg: 04-Jan-2010
Hind: 48,70 �