O produto ao qual tentou aceder, não existe.

Sem resultados para “formal semantics in modern type theorie stergios chatzikyriakidis”

26 resultados para “Integrated Formal Methods”

Filtrar por

Ordenar por

Integrated Formal Methods
10%

14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Springer International Publishing AG
portes grátis
10% Cartão Leitor Bertrand
78,53€
Poupe 7,85€
Ifm'99
(eBook)

Proceedings Of The 1st International Conference On Integrated Formal Methods, York, 28-29 June 1999

SPRINGER LONDON
102,83€
Integrated Formal Methods
10%

13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings

Springer International Publishing AG
portes grátis
10% Cartão Leitor Bertrand
72,49€
Poupe 7,25€
Integrated Formal Methods

11th International Conference, Ifm 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Springer International Publishing
64,27€
Integrated Formal Methods

10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings

Springer Berlin Heidelberg
65,42€
Integrated Formal Methods
10%

10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
67,66€
Poupe 6,77€
Integrated Formal Methods

9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Springer Berlin Heidelberg
63,09€
Integrated Formal Methods Lecture Notes
10%

9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
65,24€
Poupe 6,52€
Integrated Formal Methods
10%

7th International Conference, Ifm 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
82,16€
Poupe 8,22€
Integrated Formal Methods

6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

Springer Berlin Heidelberg
116,27€
Integrated Formal Methods
10%

5th International Conference, Ifm 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
94,86€
Poupe 9,49€
Integrated Formal Methods

4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings

Springer Berlin Heidelberg
105,17€
Integrated Formal Methods

Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Springer Berlin Heidelberg
91,73€
Integrated Formal Methods
10%

Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002 - Proceedings

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
94,86€
Poupe 9,49€
Spatial Cognition Ii

Integrating Abstract Theories, Empirical Studies, Formal Methods, And Practical Applications

Springer Berlin Heidelberg
94,65€
Spatial Cognition
10%

Integrating Abstract Theories, Empirical Studies, Formal Methods, And Practical Applications

SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
portes grátis
10% Cartão Leitor Bertrand
97,88€
Poupe 9,79€
Integrated Formal Methods
10%

Proceedings Of An International Workshop On Combining State-Based And Behavioural Formalisms, 28-29 June 1999, York

SPRINGER LONDON LTD
portes grátis
10% Cartão Leitor Bertrand
106,34€
Poupe 10,63€
Integrated Formal Methods

13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings

Springer International Publishing
70,10€
Integrated Formal Methods
10%

12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing AG
portes grátis
10% Cartão Leitor Bertrand
84,58€
Poupe 8,46€
Integrated Formal Methods

12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Springer International Publishing
81,80€
A carregar resultados...
Ver mais resultados
X
O QUE É O CHECKOUT EXPRESSO?


O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.