Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

ZUM '97: The Z Formal Specification Notation

10th International Conference of Z Users, Reading, UK, April 3-4, 1997. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek ZUM '97: The Z Formal Specification Notation Jonathan P. Bowen
Libristo-code: 05274681
Uitgeverij Springer, Berlin, november 1996
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'... Volledige beschrijving
? points 125 b
51.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

La presse et ses images - Die Presse und ihre Bilder Claire Aslangul-Rallo / Boek Gebonden (harde band)
common.buy 89.48 €
O Ensino Superior em Moçambique na Era Digital Luis Borges Gouveia / Boek Gebonden (paperback)
common.buy 75.52 €
Fetysz Przemysław Piotrowski / Boek Gebonden (paperback)
common.buy 10.81 €
TOP
Krótka historia czarnych dziur. Dlaczego niemal wszystko, co o nich wiesz, jest błędne Becky Smethurst / Boek Gebonden (harde band)
common.buy 13.03 €
Untersuchung der antimikrobiellen Aktivität von Pyrido[2,3-d]pyrimidin-2-thion-Derivaten Nidhi Joshi / Boek Gebonden (paperback)
common.buy 35.68 €
Ніщо не може уникнути ва&#1096 ALDIVAN TORRES / Boek Gebonden (paperback)
common.buy 9.19 €
PARIS RUTHERFURD / Boek Gebonden (paperback)
common.buy 15.76 €
Etienne Cornevin Alexander Balogh / Boek Gebonden (harde band)
common.buy 13.24 €
Commando Musik De Vries / Boek Gebonden (paperback)
common.buy 32.04 €
RELICS OF THE PAST ORCHESTRE-PARTITION+PARTIES SEPAREES SEAN O'LOUGHLIN Boek binding.
common.buy 77.44 €
Oeuvres Completes de Alphonse Daudet.Roman. Tome 1 Daudet-A / Boek Gebonden (paperback)
common.buy 28.00 €
Das Ich und sein Gehirn Karl R. Popper / Boek Gebonden (paperback)
common.buy 25.98 €
Spiegel des Lebens Dirk Meierewert / Boek Gebonden (paperback)
common.buy 7.27 €
Flex und Flo - Ausgabe 2014. Themenheft.3 Judith Beerbaum / Boek Blad
common.buy 13.54 €
Kaiser Leopold II. und die Franzoesische Revolution Adalbert Schultze / Boek Gebonden (paperback)
common.buy 21.93 €
Management von Passwoertern. Tools und Heuristiken Tobias Steinicke / Boek Gebonden (paperback)
common.buy 12.63 €
Urkunde - Eine Quellengattung des Mittelalters Katharina Hüfner / Boek Gebonden (paperback)
common.buy 17.08 €
Fünf Säulen der Erziehung Sigrid Tschöpe-Scheffler / Boek Gebonden (paperback)
common.buy 12.73 €
Nordbon Under Hednatiden. Popula R Framsta Llning AF Va Ra Fo Rfa Ders a Ldsta Kultur. Axel Emanuel Holmberg / Boek Gebonden (paperback)
common.buy 32.55 €
Studi Machiavelliani Jean-Jacques Marchand / Boek Gebonden (paperback)
common.buy 35.48 €
La Romanisation A L'Epoque D'Auguste Ramsay MacMullen / Boek Gebonden (paperback)
common.buy 36.59 €
Cómo se salvó Wang-Fô Marguerite Yourcenar / Boek Gebonden (paperback)
common.buy 21.73 €
El poder de la humildad Charles L. . . . [et al. ] Whitfield / Boek Gebonden (paperback)
common.buy 14.75 €
Leer en el centro escolar GEMMA LLUCH / Boek Gebonden (paperback)
common.buy 20.21 €

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam ZUM '97: The Z Formal Specification Notation
Auteur Jonathan P. Bowen, Michael G. Hinchey, David Till
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1997
Aantal pagina's 442
EAN 9783540627173
ISBN 3540627170
Libristo-code 05274681
Uitgeverij Springer, Berlin
Gewicht 578
Afmetingen 156 x 234 x 23

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Stability of Stochastic Dynamical Systems R. F. Curtain / Boek Gebonden (paperback)
common.buy 36.19 €
walks near Guildford Bill Andrews / Boek Gebonden (paperback)
common.buy 7.78 €
How The Other Half Lives Jacob Riis / Boek Gebonden (paperback)
common.buy 12.43 €
Wordt verwacht
Marvel Platinum: Definitve Guardians Of The Galaxy Reloaded Jim Valentino / Boek Gebonden (paperback)
common.buy 19.30 €
B is for Breathe Melissa Munro Boyd / Boek Gebonden (paperback)
common.buy 11.32 €
TELEPHONE, AND, OSHKOSH: TWO TELEGRAPHIC NOBLE / Boek Gebonden (harde band)
common.buy 26.89 €
Antiquarian Ramble in the Streets of London, with Anecdotes of Their More Celebrated Residents, Volume 2 John Thomas Smith / Boek Gebonden (harde band)
common.buy 39.22 €
Blessed Monsters Emily A. Duncan / Boek Gebonden (paperback)
common.buy 10.61 €
Studies in the Greek New Testament Stanley E. Porter / Boek Gebonden (paperback)
common.buy 39.22 €
Modelling and Analysis of Graduate Unemployment Jason Anquandah / Boek Gebonden (paperback)
common.buy 32.04 €
40 Andy Christiansen / Boek Gebonden (harde band)
common.buy 30.22 €
Marry for Money, You'll Learn To Love Later! Dr. Roger J. Geronimo / Boek Gebonden (paperback)
common.buy 16.27 €
In the Mind of 69 Judith (University of East Anglia) Moore / Boek Gebonden (paperback)
common.buy 9.29 €
Edgar, or the English Monarch; An Heroick Tragedy [In Five Acts and in Verse]. Thomas Rymer / Boek Gebonden (paperback)
common.buy 14.85 €
new annual register, or general repository of history, politics, and literature, for the year 1794. To which is prefixed, the history of knowledge, le Multiple Contributors / Boek Gebonden (paperback)
common.buy 38.21 €
Selena - A Love Story James W / Boek Gebonden (paperback)
common.buy 24.76 €
Michael Jackson: Jazz Play-Along Volume 180 Michael Jackson / Boek Gebonden (harde band)
common.buy 29.52 €
Poise, How to Attain It: Mental Efficiency Series V1 D. Starke / Boek Gebonden (paperback)
common.buy 25.07 €
Study Guide for William Shakespeare's A Midsummer Night's Dream Cengage Learning Gale / Boek Gebonden (paperback)
common.buy 11.72 €
Context Aware Human-Robot and Human-Agent Interaction Nadia Magnenat-Thalmann / Boek Gebonden (paperback)
common.buy 102.93 €
Puzzled and Pleased FRANCIS LATHOM / Boek Gebonden (harde band)
common.buy 32.55 €
Memories of Aurelian Springs School Horace C Robertson / Boek Gebonden (paperback)
common.buy 12.12 €
Stepinac ROBIN HARRIS / Boek Gebonden (harde band)
common.buy 39.22 €
Ex-Prisoner Possibilities With Real Estate Investors: Rehabilitating Properties & Lives Reverend Mike Wanner / Boek Gebonden (paperback)
common.buy 6.36 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?