دانلود کتاب خارجی - دانلود رایگان کتاب لاتین PDF علمی

تعداد نتایج: 412

On the Refinement Calculus

By Carroll Morgan, Trevor Vickers
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 169
Language: en
ISBN_13:9781447132738
ISBN_10:1447132734
Subject: Mathematics

Refinement Calculus

A Systematic Introduction

جزئیات و درخواست

By Ralph-Johan Back, Joakim Wright
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 514
Language: en
ISBN_13:9781461216742
ISBN_10:1461216745
Subject: Computers

On the Refinement Calculus

جزئیات و درخواست

By Carroll Morgan, Ken Robinson, Paul Gardiner
1988
Pages: 151
Language: en
ISBN_10:090292852X
ISBN_13:9780902928527
Subject: Calculus

Refinement in Z and Object-Z

Foundations and Advanced Applications

جزئیات و درخواست

By John Derrick, Eerke A. Boiten
Publisher: Springer Science & Business Media, 2013-08-30
Pages: 498
Language: en
ISBN_13:9781447153559
ISBN_10:1447153553
Subject: Mathematics

Data Refinement

Model-Oriented Proof Methods and Their Comparison

جزئیات و درخواست

By W.-P. de Roever, Kai Engelhardt
Publisher: Cambridge University Press, 1998-12-03
Pages: 439
Language: en
ISBN_13:9780521641708
ISBN_10:0521641705
Subject: Computers

Higher-level Algorithmic Structures in the Refinement Calculus

جزئیات و درخواست

By Steve King
1999
Pages: 165
Language: en
ISBN_10:0902928988
ISBN_13:9780902928985
Subject: Computer programs

Program Design Calculi

جزئیات و درخواست

By Manfred Broy
Publisher: Springer Science & Business Media, 2013-12-01
Pages: 418
Language: en
ISBN_13:9783662028803
ISBN_10:3662028808
Subject: Computers

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. REX Workshop, Mook, The Net...

جزئیات و درخواست

By Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Publisher: Springer Science & Business Media, 1990-04-25
Pages: 832
Language: en
ISBN_10:3540525599
ISBN_13:9783540525592
Subject: Computers

Refinement

Semantics, Languages and Applications

جزئیات و درخواست

By John Derrick, Eerke Boiten
Publisher: Springer, 2018-09-03
Pages: 269
Language: en
ISBN_13:9783319927114
ISBN_10:3319927116
Subject: Computers

Programming from Specifications

جزئیات و درخواست

By Carroll Morgan
1990
Pages: 280
Language: en
OTHER:UOM:39015016966759
Subject: Computers

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS...

جزئیات و درخواست

By Joseph M. Morris, Roger C. Shaw
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 488
Language: en
ISBN_13:9781447137566
ISBN_10:1447137566
Subject: Mathematics

Using Z

Specification, Refinement, and Proof

جزئیات و درخواست

By Jim Woodcock, Jim Davies
1996
Pages: 412
Language: en
OTHER:UOM:39015037422543
Subject: Computers

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS...

جزئیات و درخواست

By Cliff B. Jones, Roger C. Shaw, Tim Denvir
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 389
Language: en
ISBN_13:9781447135500
ISBN_10:1447135504
Subject: Mathematics

6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS...

$The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.$

جزئیات و درخواست

By David Till
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 315
Language: en
ISBN_13:9781447132400
ISBN_10:1447132408
Subject: Mathematics

Refinement in Z and Object-Z

Foundations and Advanced Applications

جزئیات و درخواست

By John Derrick, Eerke A. Boiten
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 465
Language: en
ISBN_13:9781447102571
ISBN_10:1447102576
Subject: Computers

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ...

جزئیات و درخواست

By Jin Song Dong, Jim Woodcock
Publisher: Springer, 2003-11-06
Pages: 693
Language: en
ISBN_13:9783540398936
ISBN_10:3540398937
Subject: Computers

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Ger...

جزئیات و درخواست

By Eerke A. Boiten, Bernhard Möller
Publisher: Springer, 2003-08-02
Pages: 273
Language: en
ISBN_13:9783540454427
ISBN_10:354045442X
Subject: Computers

Advances in UML and XML-based Software Evolution

جزئیات و درخواست

By Hongji Yang
Publisher: IGI Global, 2005-01-01
Pages: 375
Language: en
ISBN_13:9781591406211
ISBN_10:1591406218
Subject: Technology & Engineering

Foundation of Software Science and Computation Structures

Third International Conference, FOSSACS 2000 Held as Part of...

$ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprisedv e conferences (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive. ETAPS is a loose confederation in which each event retains its own identity, with a separate program committee and independent proceedings. Its format is open-ended, allowing it to grow and evolve as time goes by. Contributed talks and system demonstrations are in synchronized parallel sessions, with invited lectures in plenary sessions. Two of the invited lectures are reserved for \u- fying" talks on topics of interest to the whole range of ETAPS attendees.$

جزئیات و درخواست

By Jerzy Tiuryn
Publisher: Springer, 2003-06-26
Pages: 402
Language: en
ISBN_13:9783540464327
ISBN_10:3540464328
Subject: Computers

Much Ado About Calculus

A Modern Treatment with Applications Prepared for Use with t...

جزئیات و درخواست

By R.L. Wilson
Publisher: Springer Science & Business Media, 2013-03-09
Pages: 804
Language: en
ISBN_13:9781461596448
ISBN_10:1461596440
Subject: Mathematics

«1 2 3 4 5 6 7 8 9 10 »

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

کتاب زبان اصلی J.R.R

دانلود کتاب لاتین

خرید کتاب لاتین

خرید مانگا

خرید کتاب از گوگل بوکز

دانلود رایگان کتاب از گوگل بوکز

دانلود رایگان کتاب از آمازون

دانلود رایگان کتاب از گوگل بوکز

کتاب روانشناسی به انگلیسی

کتاب زبان اصلی

کتاب خارجی

سایت خرید کتاب زبان اصلی