Hire Freelancers

Formal method

£20-250 GBP

Cancelled

Posted

over 6 years ago

£20-250 GBP

Paid on delivery

smart house .formal modelling and [login to view URL] have experienced with VDM tools .must know invariant,pre-post,condition operations.

Computer Science

Software Architecture

Project ID: 15949456

About the project

2 proposals

Remote project

Active 6 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

2 freelancers are bidding on average £150 GBP for this job

Flag of ALGERIA

Hello, Please contact me over chat to discuss details. Am available for work Relevant Skills and Experience vdm Proposed Milestones £150 GBP - delivery

£150 GBP in 3 days

5.0

(12 reviews)

4.3

4.3

Flag of UNITED STATES

I guarantee you a first class service with the quality and in the time it deserves by putting at your disposal all my knowledge and years of practice. Relevant Skills and Experience Expert in the Python programming language, with experience in other languages (PHP, JavaScript, CSS, PL/pgSQL, SQL,etc.). Extensive experience with markup languages (XML, JSON, BJSON, HTML) Proposed Milestones £150 GBP - Development of the project

£150 GBP in 6 days

5.0

(1 review)

2.6

2.6

Post a project like this

About the client

Flag of UNITED KINGDOM

london, United Kingdom

5.0

4

Payment method verified

Member since Nov 11, 2017

Client Verification

Other jobs from this client

mobile development (20)

I need a poster to be designed really simple and easy

need some computer science question to be answered

small solar panel

Similar jobs

Urgent Odoo Payment Gateway Integration

$8-15 USD / hour

Exciting Entertainment App Development

₹10000-15000 INR

Small update on app code

Donut Shape Radius Calculation and Explanation

Ethereum Bot TypeScript Error Resolution

Pac-Man Game Development in Python

Chrome Auto-fill Extension for App Integration

MatLab Expert for Computer Vision Computer Science

UP-dr150 Printer Driver alterations

Python-Based Pac-Men Game Development

Dome Pouffe Visualizer for E-Commerce

Basketball Statistics Analysis in GAMECHANGER APP

SAML Implementation for Spring Web App

₹750-1250 INR / hour

Advanced COQ Proof Assistance Needed -- 3

Android Call Recorder with Auto-Recording

Microsoft Teams Custom Setup

CapsuleNet Squash Equation Enhancement

Simple Logisim Single Datapath

Mobile App Data Extraction

Advanced MATLAB for Signal Processing

Post a project like this

Thanks! We’ve emailed you a link to claim your free credit.

Something went wrong while sending your email. Please try again.

Loading preview

Permission granted for Geolocation.

Your login session has expired and you have been logged out. Please log in again.