Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Industrial-Strength Formal Methods in Practice

Limba englezăengleză
Carte Carte broșată
Carte Industrial-Strength Formal Methods in Practice Michael G. Hinchey
Codul Libristo: 01435295
Editura Springer London Ltd, septembrie 1999
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone... Descrierea completă
? points 386 b
834.80 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Математические таблицы Тхомас Магето / Carte Carte broșată
common.buy 197.83 lei
BOHMISCHE POLKAS ACCORDEON JOE ALEX Materiale tipărite Note muzicale
common.buy 113.20 lei
Лошади / Carte Carte broșată
common.buy 73.59 lei
Dziennik moskiewski Walter Benjamin / Carte Carte broșată
common.buy 72.97 lei
Láska a jiná slova Christina Lauren / Carte Copertă tare
common.buy 37.42 lei
Der Anachronismus Anarchischer Komik Daniel Arnet / Carte Carte broșată
common.buy 493.81 lei
Junior:: 3 guide pédagogique Butzbach / Carte Carte broșată
common.buy 104.78 lei
Speak Ukrainian correctly L. Savchenko / Carte Copertă tare
common.buy 59.98 lei
Soziologie der Parteien Jenni Brichzin / E-book Adobe ePub DRM
common.buy 313.02 lei
Slon africký / Joc / Jucărie Jucărie
common.buy 59.98 lei
Kolejka Błażeja. Mały chłopiec Emilie Beaumont / Carte Copertă tare
common.buy 18.39 lei
La vie est facile ne t'inquiète pas / Les gens heureux lisent et boivent du café Agnès Martin-Lugand / Carte Carte broșată
common.buy 83.57 lei
L'Oracle d'enquête - Un oracle unique pour résoudre une incroyable enquête occulte Emmanuelle Iger / Joc / Jucărie Joc
common.buy 117.36 lei
Light Darkest Audio Audio CD
common.buy 74.64 lei
Urny patřej na hřbitov Jiří Urban / Carte Carte broșată
common.buy 18.60 lei
Forex Trading Mark Graham / Carte Carte broșată
common.buy 67.36 lei
Destellos de Casiopea Cesar Rubio Aracil / Carte Carte broșată
common.buy 76.61 lei
Das Ende des Glaubens Sam Harris / Carte Copertă tare
common.buy 89.60 lei
Manoppello-Code Markus van den Hövel / Carte Carte broșată
common.buy 79.63 lei
Deutsche Nationalhymnen Bernhard Höfele / Carte Carte broșată
common.buy 48.23 lei
Finanzmarktkrise 2008/2009 und ihre Folgen Martin Schaarschmidt / Carte Carte broșată
common.buy 75.36 lei
Nuclear Security Systems and Measures for Major Public Events (Spanish Edition) IAEA / Carte Carte broșată
common.buy 185.77 lei
ersten Buchmessen der Nachkriegszeit in Leipzig und Frankfurt Anja Gruber-Wiedemann / Carte Carte broșată
common.buy 133.79 lei
ADHS Wolfdieter Jenett / Carte Carte broșată
common.buy 99.58 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Industrial-Strength Formal Methods in Practice
Autor Michael G. Hinchey, Jonathan P. Bowen
Limba engleză
Legare Carte - Carte broșată
Data publicării 1999
Număr pagini 400
EAN 9781852336400
ISBN 1852336404
Codul Libristo 01435295
Editura Springer London Ltd
Greutatea 1290
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

101 Ways to Get Her to Dump You After the First Date. Jennifer A Kilmer / Carte Carte broșată
common.buy 66.84 lei
Peggy Dean's Guide to Nature Drawing Peggy Dean / Carte Carte broșată
common.buy 100.00 lei
Sprawlball Kirk Goldsberry / Carte Copertă tare
common.buy 103.95 lei
George Washington's 1790 Grand Tour of Long Island Dr Joanne S Grasso / Carte Carte broșată
common.buy 104.16 lei
Blue Horizon, 3 Wilbur Smith / Carte Carte broșată
common.buy 83.78 lei
Alternative Uses of Dermatoscopy, An Issue of Dermatologic Clinics Giuseppe Micali / Carte Copertă tare
common.buy 537.16 lei
Multi-Criteria Decision Making Approaches for Supplier Selection Vinod Yadav / Carte Carte broșată
common.buy 178.18 lei
Insights For The Senior's Ministry: Understanding The Myths & Truths Of The Aging Process Dr Joseph R Rogers Sr / Carte Carte broșată
common.buy 71.83 lei
Bosna u Istorijskoj Perspektivi Camil Ef J Avdic / Carte Carte broșată
common.buy 86.59 lei
Anthropological Investigations on one Thousand White and Colored Children of Both Sexes, the Inmates of the New York Juvenile Asylum, With Additional ALES HRDLICKA / Carte Copertă tare
common.buy 206.77 lei
Love, Marriage, Divorce and Remarriage: Second Edition Raymond E Parry / Carte Carte broșată
common.buy 46.98 lei
Moving With Words & Actions Rhonda Clements / Carte Carte broșată
common.buy 236.61 lei
Introduction to Tensor Analysis and the Calculus of Moving Surfaces Pavel Grinfeld / Carte Carte broșată
common.buy 279.23 lei
China's Maritime Silk Road and Asia Vijay Sakhuja / Carte Carte broșată
common.buy 174.02 lei
Gellerman's International Reed Organ Atlas Robert F. Gellerman / Carte Copertă tare
common.buy 205.63 lei
Anestesia E Malattie Concomitanti: Fisiopatologia E Clinica de Periodo Perioperatorio G.L. ALATI / Carte Carte broșată
common.buy 285.16 lei
Illustrated History of the Herbals Frank J Anderson / Carte Carte broșată
common.buy 83.57 lei
Effect of Blade Cooling on Performance of a Gas Turbine Power Plant. Bernard L. Buteau / Carte Carte broșată
common.buy 101.15 lei
Top
Pseudomonarchia Daemonum Cai Porter / Carte Carte broșată
common.buy 66.84 lei
Gene Regulation and Epigenetics Carsten Carlberg / Carte Copertă tare
common.buy 473.64 lei
Divine Contradiction Beall / Carte Copertă tare
common.buy 535.60 lei
Thing About Luck Cynthia Kadohata / Audiobook MP3
common.buy 101.77 lei
Customer Success Economy Nick Mehta / E-book Adobe ePub DRM
common.buy 126.62 lei
World War II: Aftermath of World War II Elisabeth Herschbach / Carte Carte broșată
common.buy 63.82 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?