Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Industrial-Strength Formal Methods in Practice

Name: Industrial-Strength Formal Methods in Practice
Brand: Springer London Ltd
SKU: 01435295
Price: 157.49 EUR
Availability: InStock
Author: Michael G. Hinchey
ISBN: 9781852336400

Michael G. Hinchey

Jonathan P. Bowen

Sprache

Englisch

Buch Broschur

Libristo-Code: 01435295

Verlag Springer London Ltd, September 1999

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone... Vollständige Beschreibung

Libristo-Code: 01435295

385 b

157.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Математические таблицы Тхомас Магето

Broschur

37.29 €

BOHMISCHE POLKAS ACCORDEON JOE ALEX Drucksachen

Noten

22.29 €

Лошади

Broschur

14.69 €

Dziennik moskiewski Walter Benjamin

Broschur

14.39 €

Láska a jiná slova Christina Lauren

Hardcover

7.49 €

Der Anachronismus Anarchischer Komik Daniel Arnet

Broschur

97.69 €

Junior:: 3 guide pédagogique Butzbach

Broschur

19.79 €

Speak Ukrainian correctly L. Savchenko

Hardcover

11.99 €

Soziologie der Parteien Jenni Brichzin

Adobe ePub DRM

61.19 €

Slon africký

Spielzeug

11.79 €

Kolejka Błażeja. Mały chłopiec Emilie Beaumont

Hardcover

3.59 €

La vie est facile ne t'inquiète pas / Les gens heureux lisent et boivent du café Agnès Martin-Lugand

Broschur

16.59 €

L'Oracle d'enquête - Un oracle unique pour résoudre une incroyable enquête occulte Emmanuelle Iger

Spiel

23.19 €

Light Darkest Audio

Audio CD

14.09 €

Urny patřej na hřbitov Jiří Urban

Broschur

3.69 €

Forex Trading Mark Graham

Broschur

12.69 €

Destellos de Casiopea Cesar Rubio Aracil

Broschur

14.49 €

Das Ende des Glaubens Sam Harris

Hardcover

19.59 €

Manoppello-Code Markus van den Hövel

Broschur

15.90 €

Deutsche Nationalhymnen Bernhard Höfele

Broschur

9.50 €

Finanzmarktkrise 2008/2009 und ihre Folgen Martin Schaarschmidt

Broschur

14.99 €

Nuclear Security Systems and Measures for Major Public Events (Spanish Edition) IAEA

Broschur

35.09 €

ersten Buchmessen der Nachkriegszeit in Leipzig und Frankfurt Anja Gruber-Wiedemann

Broschur

17.95 €

ADHS Wolfdieter Jenett

Broschur

19.90 €

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Industrial-Strength Formal Methods in Practice

Autor Michael G. Hinchey, Jonathan P. Bowen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1999

Anzahl der Seiten 400

EAN 9781852336400

ISBN 1852336404

Libristo-Code 01435295

Verlag Springer London Ltd

Gewicht 1290

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

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

101 Ways to Get Her to Dump You After the First Date. Jennifer A Kilmer

Broschur

12.59 €

Peggy Dean's Guide to Nature Drawing Peggy Dean

Broschur

18.89 €

Sprawlball Kirk Goldsberry

Hardcover

20.89 €

George Washington's 1790 Grand Tour of Long Island Dr Joanne S Grasso

Broschur

19.69 €

Blue Horizon, 3 Wilbur Smith

Broschur

15.79 €

Alternative Uses of Dermatoscopy, An Issue of Dermatologic Clinics Giuseppe Micali

Hardcover

106.19 €

Multi-Criteria Decision Making Approaches for Supplier Selection Vinod Yadav

Broschur

33.59 €

Insights For The Senior's Ministry: Understanding The Myths & Truths Of The Aging Process Dr Joseph R Rogers Sr

Broschur

13.59 €

Bosna u Istorijskoj Perspektivi Camil Ef J Avdic

Broschur

16.29 €

Anthropological Investigations on one Thousand White and Colored Children of Both Sexes, the Inmates of the New York Juvenile Asylum, With Additional ALES HRDLICKA

Hardcover

38.99 €