Abrial: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Don't use scam websites

Książki (31)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

Annick Abrial, Marie-Anne Réthoret-Mélin, Perrette Samouïloff

Rok:

2010

Język:

french

Plik:

PDF, 104.90 MB

0 / 0

french, 2010

2

Event-B建模系统和软件工程(Event-B modeling)

Event-B建模系统和软件工程(Event-B modeling)

人民邮电出版社

作者：Jean-Raymond Abrial；裘宗燕译

Rok:

2019

Język:

chinese

Plik:

PDF, 64.58 MB

0 / 4.0

chinese, 2019

3

Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering

Cambridge University Press

Jean-Raymond Abrial

Rok:

2010

Język:

english

Plik:

PDF, 3.01 MB

0 / 0

english, 2010

4

Rose: des centaines de motifs à broder au point de croix

Rose: des centaines de motifs à broder au point de croix

Abrial, Annick, Roy, Sonia, Besse, Fabrice, Samouïloff, Perrette, Réthoret-Mélin, Marie-Anne

Rok:

2011

Język:

french

Plik:

CBR, 24.96 MB

0 / 0

french, 2011

5

The B-Book: Assigning Programs to Meanings

The B-Book: Assigning Programs to Meanings

Cambridge University Press

Rok:

2005

Język:

english

Plik:

PDF, 13.00 MB

0 / 0

english, 2005

6

Petites histoires des grandes chansons - Volume 3

Petites histoires des grandes chansons - Volume 3

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

Rok:

2017

Język:

french

Plik:

EPUB, 1.30 MB

0 / 0

french, 2017

7

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 4.94 MB

0 / 0

english, 2006

8

L'Alsace en rouge et blanc

L'Alsace en rouge et blanc

Abrial, Annick, Malissen, Marie, Malissen, Camille

Rok:

2008

Język:

french

Plik:

PDF, 17.95 MB

0 / 0

french, 2008

9

Modeling in Event-B : system and software engineering

Modeling in Event-B : system and software engineering

Cambridge University Press

Jean-Raymond Abrial

Rok:

2010

Język:

english

Plik:

PDF, 2.05 MB

0 / 0

english, 2010

10

Dicionário Caboverdiano-Português: Variante de Santiago

Dicionário Caboverdiano-Português: Variante de Santiago

Nicolas Quint-Abrial

Rok:

1998

Język:

portuguese

Plik:

PDF, 17.76 MB

0 / 0

portuguese, 1998

11

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 2.93 MB

0 / 0

english, 2003

12

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 5.71 MB

0 / 0

english, 2008

13

The B-book : assigning programs to meanings / [...] XD-US

The B-book : assigning programs to meanings / [...] XD-US

Cambridge [u.a.] Cambridge Univ. Press

Jean-Raymond Abrial

Rok:

1996

Język:

english

Plik:

DJVU, 6.18 MB

0 / 0

english, 1996

14

Petites histoires des grandes chansons

Petites histoires des grandes chansons

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

Rok:

2017

Język:

french

Plik:

EPUB, 605 KB

0 / 0

french, 2017

15

Petites histoires des grandes chansons

Petites histoires des grandes chansons

Editions du Rocher

Abrial Laurent, Lecoeuvre Fabien

Rok:

2017

Język:

french

Plik:

EPUB, 605 KB

0 / 0

french, 2017

16

Osons la fragilité

Osons la fragilité

Geneviève ABRIAL

Rok:

2015

Język:

french

Plik:

EPUB, 16.82 MB

0 / 0

french, 2015

17

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 7.94 MB

0 / 0

english, 2013

18

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 10.61 MB

0 / 0

english, 2009

19

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial (auth.), Michael Leuschel, Heike Wehrheim (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 5.05 MB

0 / 0

english, 2009

20

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial, Thai Son Hoang (auth.), John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 9.77 MB

0 / 0

english, 2008

21

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Egon Börger (auth.), Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.)

Rok:

1996

Język:

english

Plik:

DJVU, 4.81 MB

0 / 0

english, 1996

22

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 5.34 MB

0 / 0

english, 2013

23

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

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

Springer-Verlag Berlin Heidelberg

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 4.28 MB

0 / 0

english, 2007

24

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.05 MB

0 / 0

english, 2009

25

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial, Dominique Cansell (auth.), David Basin, Burkhart Wolff (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 1.79 MB

0 / 0

english, 2003

26

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 4.60 MB

0 / 0

english, 2006

27

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Jean -Raymond Abrial (auth.), Didier Bert (eds.)

Rok:

1998

Język:

english

Plik:

PDF, 4.86 MB

0 / 0

english, 1998

28

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.90 MB

0 / 0

english, 2009

29

Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings

Mathematics of Program Construction: 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

J. R. Abrial (auth.), J. L. A. van de Snepscheut (eds.)

Rok:

1989

Język:

english

Plik:

DJVU, 3.34 MB

0 / 0

english, 1989

30

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.13 MB

0 / 0

english, 2009

31

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Jean -Raymond Abrial (auth.), Didier Bert (eds.)

Rok:

1998

Język:

english

Plik:

DJVU, 4.19 MB

0 / 0

english, 1998