Suchergebnisse - Formal Program Development

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

1
2
3
4
5
6
7
8
9
10
11
Nächster
[26]

Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

Möller, Bernhard (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1993

E-Book

A Strategy for Coal Bed Methane and Coal Mine Methane Development and Utilization in China

Energy Sector Management Assistance Program

World Bank, Washington, DC, 2013

E-Book

Social Assessments and Program Evaluation with Limited Formal Data

World Bank

Washington, DC, 2012

E-Book

Jobs Generated by the Rwanda Development Policy Operations

Energy Sector Management Assistance Program

Washington, DC : World Bank, 2024

E-Book

Automatic Program Development : A Tribute to Robert Paige

Danvy, Olivier (Herausgeber)

1st ed. 2008

Dordrecht : Springer Netherlands, 2008

E-Book

Local Knowledge, Formal Evidence, and Policy Decisions

Vivalt, Eva (Verfasser)

Washington, DC : World Bank, 2024

E-Book

Philippines Financial Sector Assessment Program : Insurance Sector - Targeted Assessment of ICPS and Development Issues

Gonulal, Serap Oguz (Verfasser)

Washington, D.C : The World Bank, 2019

E-Book

Formal Languages and Compilation

Crespi Reghizzi, Stefano (Verfasser)

1st ed. 2009

London : Springer London, 2009

E-Book

Linking Smallholders to Markets : A Supplier Development Program for Vegetable Farmers in Lesotho

Reva, Anna (Verfasser)

Washington, D.C : The World Bank, 2019

E-Book

Learning, knowledge transfer and competence development in forestry operations small and medium sized enterprises (SMEs)

Lewark, Siegfried (Verfasser)

Freiburg : Universität, 2010

E-Book

Development of automatic program verification for continuous function chart based on model checking

Wardana, Awang Noor Indra (Verfasser)

Kassel : Kassel University Press, 2009

Buch

Formal techniques in real-time and fault-tolerant systems : 7th international symposium ; proceedings

Damm, Werner (Herausgeber)

Berlin : Springer, 2002

Buch

An outcome evaluation of the success for kids program

Maestas, Nicole (Verfasser)

Santa Monica, CA : RAND, 2010

E-Book

Formalnoprawne aspekty modernizacji szkolnictwa zawodowego

Borowski, Dariusz (Verfasser)

Białystok, 2014

E-Book

Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Breitman, Karin (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Julliand, Jacques (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Liu, Shaoying (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Treharne, Helen (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Dong, Jin Song (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Butler, Michael (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

1
2
3
4
5
6
7
8
9
10
11
Nächster
[26]

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 511

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken