Pro1.pl | Se de billigste priser og tilbud på !URL

Object Orientation in Z - Bog - Paperback

This collection of papers draws together a variety of approaches for adding ob ject orientation to the Z formal specification language. 1992])j investigating current styles and methods of Z usagej and developing a Z Method handbook (available early in 1993).

DKK 767.95

1

Z User Workshop, Cambridge 1994 - Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 - Bog - Paperback

Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

DKK 848.95

1

Z User Workshop, London 1992 - Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 - Bog - Paperback

Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

DKK 782.95

1

Z User Workshop - Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 - Bog - Paperback

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives more or less equally divided between academia and industry.

DKK 848.95

1

Organisationsdesign 4.0 Von A-Z. - Bog af Gerhard Westermayer - Paperback

DKK 370.95

1

Z User Workshop, Oxford 1990 - Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 - Bog - Paperback

This volume of conference proceedings aims to provide Z users with information on new developments, such as activities in the field of object-oriented specification and design.

DKK 832.95

1

Running Mainframe z on Distributed Platforms - How to Create Robust Cost-Efficient Multiplatform z Environments - Bog af Kenneth Barrett & Stephen Nor

\Running Mainframe z on Distributed Platforms is particularly suitable for a more detailed discussion.\ Bill Ogden, IBM zPDT Redbook, April 2015\The authors offer very well-reasoned solutions accompanied by case studies, which will be useful to specialists. The book is made even more useful as the System z mainframe-based solutions offer an advanced systems management environment for significant segments of data within large companies.\ Eugen Petac, Computing Reviews, Oct. 8, 2014\Should you..

DKK 589.95

1

Z User Workshop, York 1991 - Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Bog - Paperback

Example 1 The following Z specification of a functionf, from integers to integers \f x : ~ 1 x ~ O* fx = x + 1 (i) \f x : ~ 1 x ~ O* fx = x + 2 (ii) is inconsistent, because axiom (i) gives f 0 = 1, while axiom (ii) gives f 0 = 2. Furthermore, iff 0 = 1 andfO = 2 then 1 = 2 can be deduced!

DKK 782.95

1

Optimization of Discrete Time Systems - The Upper Boundary Approach - Bog af Z. Nahorski, H.F. Ravn, mfl. - Paperback

DKK 782.95

1

Ergebnisse der Physiologie Biologischen Chemie und Experimentellen Pharmakologie - Bog af Z. M. Bacq, H. Lullies, mfl. - Paperback

DKK 676.95

1

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

These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst` emes R¿ eseaux within theInstitut d'Informatique et Math¿ ematique Appliqü ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in..

DKK 1192.95

1

Prestigious Discoveries at CERN - 1973 Neutral Currents 1983 W & Z Bosons - Bog - Paperback

The discoveries of neutral currents and of the W and Z bosons marked a watershed in the history of CERN. It also reports on the future of particle physics and provides an updated status report on the LHC and its detectors being currently built at CERN. The book addresses readers interested in particle physics including the educated public.

DKK 832.95

1

Prestigious Discoveries at CERN - 1973 Neutral Currents 1983 W & Z Bosons - Bog - Hardback

The discoveries of neutral currents and of the W and Z bosons marked a watershed in the history of CERN. It also reports on the future of particle physics and provides an updated status report on the LHC and its detectors being currently built at CERN. The book addresses readers interested in particle physics including the educated public.

DKK 920.95

1

Marxism and 20th-Century English-Canadian Novels - A New Approach to Social Realism - Bog af Yuhua Ji & John Z. Ming Chen - Paperback

DKK 943.95

1

Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Bog - Paperback

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012.

DKK 592.95

1

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Bog - Pap

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014.

DKK 872.95

1

Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Bog - Paperback

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

DKK 603.95

1

Cancer Prevention II - Bog - Paperback

More than 180 participants and experts from 31 countries met for the fifth time in 10 years in St. Gallen, Switzerland for a 3-day conference to discuss important current issues of clinical cancer prevention.

DKK 1397.95

1

Cancer Prevention II - Bog - Hardback

More than 180 participants and experts from 31 countries met for the fifth time in 10 years in St. Gallen, Switzerland for a 3-day conference to discuss important current issues of clinical cancer prevention.

DKK 1776.95

1

Foundation Silverlight 2 Animation - Bog af Jeff Paries - Paperback

See the power of Silverlight in actionLearn the building blocks of animation in Silverlight 2Includes over 180 example Silverlight projectsSilverlight is a phenomenally powerful animation tool, but few people know how to unlock its potential.

DKK 345.95

1

Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings - Bog - Pap

Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.

DKK 828.95

1

Interactive Technologies and Sociotechnical Systems - 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings - Bog -

This book constitutes the refereed proceedings of the 13th International Conference on Interactive Technologies and Sociotechnical Systems, VSMM 2006, held in Xi'an, China in October 2006. The 59 revised full papers presented together with one keynote paper were carefully reviewed and selected from more than 180 submissions.

DKK 920.95

1

Algorithms and Computation - 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings - Bog - Paperback

This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015. The 65 revised full papers presented together with 3 invited talks were carefullyreviewed and selected from 180 submissions for inclusion in the book. graph algorithms and FPT;

DKK 1029.95

1

ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings - Bog - P

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R.

DKK 803.95

1

Illustrated Handbook of Succulent Plants: Aizoaceae F-Z - Bog - Paperback

This handbook, consisting of six volumes, covers over 9000 taxa of succulents (excluding cacti), which have the ability to store water in their stems, leaves, or underground organs.

DKK 2048.95

1

Mærke

Butik

Pris (EUR)

Object Orientation in Z - Bog - Paperback

Z User Workshop, Cambridge 1994 - Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994 - Bog - Paperback

Z User Workshop, London 1992 - Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 - Bog - Paperback

Z User Workshop - Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989 - Bog - Paperback

Organisationsdesign 4.0 Von A-Z. - Bog af Gerhard Westermayer - Paperback

Z User Workshop, Oxford 1990 - Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 - Bog - Paperback

Running Mainframe z on Distributed Platforms - How to Create Robust Cost-Efficient Multiplatform z Environments - Bog af Kenneth Barrett & Stephen Nor

Z User Workshop, York 1991 - Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 - Bog - Paperback

Optimization of Discrete Time Systems - The Upper Boundary Approach - Bog af Z. Nahorski, H.F. Ravn, mfl. - Paperback

Ergebnisse der Physiologie Biologischen Chemie und Experimentellen Pharmakologie - Bog af Z. M. Bacq, H. Lullies, mfl. - Paperback

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

Prestigious Discoveries at CERN - 1973 Neutral Currents 1983 W & Z Bosons - Bog - Paperback

Prestigious Discoveries at CERN - 1973 Neutral Currents 1983 W & Z Bosons - Bog - Hardback

Marxism and 20th-Century English-Canadian Novels - A New Approach to Social Realism - Bog af Yuhua Ji & John Z. Ming Chen - Paperback

Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Bog - Paperback

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Bog - Pap

Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Bog - Paperback

Cancer Prevention II - Bog - Paperback

Cancer Prevention II - Bog - Hardback

Foundation Silverlight 2 Animation - Bog af Jeff Paries - Paperback

Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings - Bog - Pap

Interactive Technologies and Sociotechnical Systems - 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings - Bog -

Algorithms and Computation - 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings - Bog - Paperback

ZUM '98: The Z Formal Specification Notation - 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings - Bog - P

Illustrated Handbook of Succulent Plants: Aizoaceae F-Z - Bog - Paperback

Powered by Cobiro