Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

B 2007: Formal Specification and Development in B

7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch B 2007: Formal Specification and Development in B Jacques Julliand
Libristo-Code: 01567749
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2006
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 200... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le Temple du coeur - Oeuvres posthumes de Saint-Martin / Buch Buch
common.buy 19.49 €
Calidad del aire: estudio sobre la presencia de formaldehído / Buch Broschur
common.buy 52.19 €
Twisted Lies - Stella & Christian Ana Huang / Buch Broschur
common.buy 25.09 €
Batman DC4 Trest John Layman / Buch Broschur
common.buy 19.29 €
Ricerca transdisciplinare in sanità pubblica Jose A. Betancourt Bethencourt / Buch Broschur
common.buy 37.29 €
Einfach irisch Josephine Ryan / Buch Hardcover
common.buy 10.00 €
Christian Dior Megan Hess / Buch Hardcover
common.buy 20.00 €
Intégrales généralisées, intégrales dépendant d'un paramètre - L1, L2, L3, classes prépas, CAPES BOUCETTA / Buch Broschur
common.buy 22.49 €
Lesebuch Zur Foerderung Humaner Bildung Stifter Adalbert Stifter / Buch Hardcover
common.buy 159.95 €
Schloss Bad Muskau (Puzzle) LianeM / Spiel/Spielzeug Spiel
common.buy 35.79 €

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name B 2007: Formal Specification and Development in B
Autor Jacques Julliand, Olga Kouchnarenko
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 297
EAN 9783540687603
ISBN 3540687602
Libristo-Code 01567749
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 482
Abmessungen 154 x 18 x 17

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Webprogrammierung
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

History of Galilee, 47 BCE to 1260 CE M. M. Silver / Buch Hardcover
common.buy 159.89 €
Poo in the Zoo: Merry Poopmas! Steve Smallman / Buch Broschur
common.buy 9.39 €
Mutant Prime Karen Haber / E-Book Adobe ePub DRM
common.buy 5.09 €
Vintage Rose Flower Scrapbook Paper Pad Crafty As Ever / Buch Broschur
common.buy 11.19 €
Studies in the Islam and Science Nexus Muzaffar Iqbal / Buch Broschur
common.buy 65.49 €
Nutraceuticals for Aging and Anti-Aging Jayant Nemchand Lokhande / Buch Hardcover
common.buy 274.79 €
The Dark Prince: Kingdom of Emperia Book Two K. C. Wanamaker / Buch Broschur
common.buy 11.69 €
Bishop Brown's Fight Anonymous / Buch Broschur
common.buy 16.39 €
The Dolphin of Silverwax Bay Nathan Page / Buch Broschur
common.buy 7.99 €
Creator of puzzles - Calcudoku 240 Easy Puzzles 9x9 (Volume 9) Veronika Localy / Buch Broschur
common.buy 8.89 €
Autobiography with Letters, V1 William Lyon Phelps / Buch Broschur
common.buy 46.49 €
Missbenj J L DOMINEK / Buch Broschur
common.buy 31.29 €
Pediatric Colorectal and Pelvic Surgery LANE / Buch Hardcover
common.buy 252.89 €
Ritual Change at the End of the Maya Classic Period: A Study of Incense Burners from the Southern Lowlands Maria Dolores Tobias / Buch Broschur
common.buy 29.39 €
Why Catholics Cannot Be Masons John Salza / Buch Broschur
common.buy 11.19 €
Elsie on the Hudson, Book 23 Martha Finley / Buch Broschur
common.buy 16.49 €
Alexander of Russia Henri Troyat / Buch Broschur
common.buy 13.29 €
Left's Dirty Job W. Rand Smith / Buch Broschur
common.buy 65.89 €
Genocide and the Geographical Imagination James A Tyner / Buch Hardcover
common.buy 97.99 €
Credit Risk Management Jirí Witzany / Buch Hardcover
common.buy 131.79 €
Tropical Rainforests Susan E. Place / Buch Broschur
common.buy 60.19 €
Basic Writings of Nietzsche Friedrich Wilhe Nietzsche / Buch Broschur
common.buy 17.69 €
Studying Judaism Melanie Jane Wright / Buch Hardcover
common.buy 145.89 €
Darkness, Take My Hand Dennis Lehane / Buch Broschur
common.buy 13.29 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?